Solving QBF Instances With Nested SAT Solvers

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

AlkuperäiskieliEnglanti
OtsikkoProceedings of the AAAI-16 Workshop on Beyond NP
KustantajaAAAI
Sivut307-313
ISBN (elektroninen)978-1-57735-759-9
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaAAAI Workshop on Beyond NP - Phoenix, Yhdysvallat
Kesto: 12 helmikuuta 201613 helmikuuta 2016

Workshop

WorkshopAAAI Workshop on Beyond NP
MaaYhdysvallat
KaupunkiPhoenix
Ajanjakso12/02/201613/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.