Solving QBF Instances With Nested SAT Solvers

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the AAAI-16 Workshop on Beyond NP
PublisherAAAI
Pages307-313
ISBN (Electronic)978-1-57735-759-9
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventAAAI Workshop on Beyond NP - Phoenix, United States
Duration: 12 Feb 201613 Feb 2016

Workshop

WorkshopAAAI Workshop on Beyond NP
CountryUnited States
CityPhoenix
Period12/02/201613/02/2016

Cite this