research
∙
04/29/2019
QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties
We present version 2.0 of QRATPre+, a preprocessor for quantified Boolea...
share
research
∙
07/24/2018
Expansion-Based QBF Solving Without Recursion
In recent years, expansion-based techniques have been shown to be very p...
research
∙
04/09/2018
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property
The QRAT (quantified resolution asymmetric tautology) proof system simul...
research
∙
05/28/2014
Conformant Planning as a Case Study of Incremental QBF Solving
We consider planning with uncertainty in the initial state as a case stu...
research
∙
03/08/2000