SAT-To-SAT in QBFEval 2016

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

Standard

SAT-To-SAT in QBFEval 2016. / Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab.

Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR, 2016. p. 63-70 (CEUR Workshop Proceedings).

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

Harvard

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.

APA

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.

Vancouver

Bogaerts B, Janhunen T, Tasharrofi S. SAT-To-SAT in QBFEval 2016. In Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR. 2016. p. 63-70. (CEUR Workshop Proceedings).

Author

Bogaerts, Bart ; Janhunen, Tomi ; Tasharrofi, Shahab. / SAT-To-SAT in QBFEval 2016. Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR, 2016. pp. 63-70 (CEUR Workshop Proceedings).

Bibtex - Download

@inproceedings{6c6686990d20443bb071e9f2d643d03f,
title = "SAT-To-SAT in QBFEval 2016",
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.",
author = "Bart Bogaerts and Tomi Janhunen and Shahab Tasharrofi",
year = "2016",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR",
pages = "63--70",
booktitle = "Proceedings of the 4th International Workshop on Quantified Boolean Formulas",

}

RIS - Download

TY - GEN

T1 - SAT-To-SAT in QBFEval 2016

AU - Bogaerts, Bart

AU - Janhunen, Tomi

AU - Tasharrofi, Shahab

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84996721543&partnerID=8YFLogxK

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

SP - 63

EP - 70

BT - Proceedings of the 4th International Workshop on Quantified Boolean Formulas

PB - CEUR

ER -

ID: 10501269