Solving QBF Instances With Nested SAT Solvers

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

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

Workshop

Workshop	AAAI Workshop on Beyond NP
Maa	Yhdysvallat
Kaupunki	Phoenix
Ajanjakso	12/02/2016 → 13/02/2016

Laitteet

Science-IT

Mikko Hakala (Manager)

Perustieteiden korkeakoulu

Laitteistot/tilat: Facility

Siteeraa tätä

Bogaerts, B., Janhunen, T., & Tasharrofi, S. (2016). Solving QBF Instances With Nested SAT Solvers. teoksessa Proceedings of the AAAI-16 Workshop on Beyond NP (Sivut 307-313). AAAI.

@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",

year = "2016",

language = "English",

pages = "307--313",

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

publisher = "AAAI",

}