SAT-To-SAT in QBFEval 2016

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

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

4 Citations (Scopus)
51 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationProceedings of the 4th International Workshop on Quantified Boolean Formulas
PublisherCEUR
Pages63-70
Number of pages8
Publication statusPublished - 2016
MoE publication typeA4 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
Country/TerritoryFrance
CityBordeaux
Period01/07/2016 → …

Fingerprint

Dive into the research topics of 'SAT-To-SAT in QBFEval 2016'. Together they form a unique fingerprint.

Cite this