Solving QBF Instances With Nested SAT Solvers

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the AAAI-16 Workshop on Beyond NP
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

ID: 10501364