Solving QBF Instances With Nested SAT Solvers

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

Researchers

Research units

Details

Original languageEnglish
Title of host publicationProceedings of the AAAI-16 Workshop on Beyond NP
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

ID: 10501364