Pages that link to "Item:Q2181932"
From MaRDI portal
The following pages link to QRATPre+: effective QBF preprocessing via strong redundancy properties (Q2181932):
Displaying 6 items.
- \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property (Q1799077) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- Quantified Boolean Solving for Achievement Games (Q6488139) (← links)
- Hashing-based approximate counting of minimal unsatisfiable subsets (Q6632194) (← links)