SAT-To-SAT in QBFEval 2016

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

3 Sitaatiot (Scopus)
26 Lataukset (Pure)

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 4th International Workshop on Quantified Boolean Formulas
KustantajaCEUR
Sivut63-70
Sivumäärä8
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 → …

Laitteet

Science-IT

Mikko Hakala (Manager)

Perustieteiden korkeakoulu

Laitteistot/tilat: Facility

  • Siteeraa tätä

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