The following pages link to QRATPre+ (Q1354193):
Displayed 5 items.
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- QRATPre+: effective QBF preprocessing via strong redundancy properties (Q2181932) (← links)
- Positional games and QBF: the corrective encoding (Q2661369) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)