SAT-To-SAT in QBFEval 2016

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Abstract

In this short paper, we describe QBF solvers from the latest QBFEval that were based on the SAT-To-SAT solver. We present the main ideas behind the solvers and discuss their strengths and weaknesses.

Details

Original languageEnglish
Title of host publicationProceedings of the 4th International Workshop on Quantified Boolean Formulas
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Quantified Boolean Formulas - Bordeaux, France
Duration: 1 Jul 2016 → …
Conference number: 4

Publication series

NameCEUR Workshop Proceedings
ISSN (Electronic)1613-0073

Workshop

WorkshopInternational Workshop on Quantified Boolean Formulas
CountryFrance
CityBordeaux
Period01/07/2016 → …

Download statistics

No data available

ID: 10501269