SAT-To-SAT in QBFEval 2016

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 4th International Workshop on Quantified Boolean Formulas
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Quantified Boolean Formulas - Bordeaux, Ranska
Kesto: 1 heinäkuuta 2016 → …
Konferenssinumero: 4

Julkaisusarja

NimiCEUR Workshop Proceedings
ISSN (elektroninen)1613-0073

Workshop

WorkshopInternational Workshop on Quantified Boolean Formulas
MaaRanska
KaupunkiBordeaux
Ajanjakso01/07/2016 → …

Lataa tilasto

Ei tietoja saatavilla

ID: 10501269