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 language | English |
|---|---|
| Title of host publication | Proceedings of the 4th International Workshop on Quantified Boolean Formulas |
| Publisher | CEUR |
| Pages | 63-70 |
| Number of pages | 8 |
| Publication status | Published - 2016 |
| MoE publication type | A4 Conference publication |
| Event | International Workshop on Quantified Boolean Formulas - Bordeaux, France Duration: 1 Jul 2016 → … Conference number: 4 |
Publication series
| Name | CEUR Workshop Proceedings |
|---|---|
| ISSN (Electronic) | 1613-0073 |
Workshop
| Workshop | International Workshop on Quantified Boolean Formulas |
|---|---|
| Country/Territory | France |
| City | Bordeaux |
| Period | 01/07/2016 → … |