swMATH41096MaRDI QIDQ1354193FDOQ1354193
Author name not available (Why is that?)
Official website: https://lonsing.github.io/qratpreplus/
Source code repository: https://github.com/lonsing/qratpreplus
Cited In (12)
- Planning with Incomplete Information in Quantified Answer Set Programming
- QESTO
- Positional games and QBF: the corrective encoding
- Bloqqer
- DepQBF
- MUSer2
- BEACON
- CAQE
- HQSpre
- Truth assignments as conditional autarkies
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- QRATPre+: effective QBF preprocessing via strong redundancy properties
This page was built for software: QRATPre+
