Solving QBF Instances With Nested SAT Solvers

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the AAAI-16 Workshop on Beyond NP
Kustantaja	AAAI
Sivut	307-313
ISBN (elektroninen)	978-1-57735-759-9
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	AAAI Workshop on Beyond NP - Phoenix, Yhdysvallat Kesto: 12 helmikuuta 2016 → 13 helmikuuta 2016

Siteeraa tätä

@inproceedings{c546320cb760417788737dd32af43404,

title = "Solving QBF Instances With Nested SAT Solvers",

author = "Bart Bogaerts and Tomi Janhunen and Shahab Tasharrofi",

note = "Presented at the first workshop on Beyond NP; AAAI Workshop on Beyond NP ; Conference date: 12-02-2016 Through 13-02-2016",

year = "2016",

language = "English",

pages = "307--313",

booktitle = "Proceedings of the AAAI-16 Workshop on Beyond NP",

publisher = "AAAI",

}

TY - GEN

T1 - Solving QBF Instances With Nested SAT Solvers

AU - Bogaerts, Bart

AU - Janhunen, Tomi

AU - Tasharrofi, Shahab

N1 - Presented at the first workshop on Beyond NP

PY - 2016

Y1 - 2016

M3 - Conference contribution

SP - 307

EP - 313

BT - Proceedings of the AAAI-16 Workshop on Beyond NP

PB - AAAI

T2 - AAAI Workshop on Beyond NP

Y2 - 12 February 2016 through 13 February 2016

ER -