SAT-To-SAT in QBFEval 2016
Loading...
Access rights
openAccess
publishedVersion
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Date
2016
Department
Major/Subject
Mcode
Degree programme
Language
en
Pages
8
Series
Proceedings of the 4th International Workshop on Quantified Boolean Formulas, pp. 63-70, CEUR Workshop Proceedings
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.Description
Keywords
Other note
Citation
Bogaerts, B, Janhunen, T & Tasharrofi, S 2016, SAT-To-SAT in QBFEval 2016 . in Proceedings of the 4th International Workshop on Quantified Boolean Formulas . CEUR Workshop Proceedings, CEUR, pp. 63-70, International Workshop on Quantified Boolean Formulas, Bordeaux, France, 01/07/2016 . < http://ceur-ws.org/Vol-1719/paper6.pdf >