SAT-To-SAT in QBFEval 2016

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

3 Citations (Scopus)
28 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 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 → …

Equipment

Science-IT

Mikko Hakala (Manager)

School of Science

Facility/equipment: Facility

  • Cite this

    Bogaerts, B., Janhunen, T., & Tasharrofi, S. (2016). SAT-To-SAT in QBFEval 2016. In Proceedings of the 4th International Workshop on Quantified Boolean Formulas (pp. 63-70). (CEUR Workshop Proceedings). CEUR. http://ceur-ws.org/Vol-1719/paper6.pdf