QRATPre+

MaRDI QIDQ1354193swMATHFDO

Official website https://lonsing.github.io/qratpreplus/

Source code repository https://github.com/lonsing/qratpreplus

Cited in

(12)

• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
• Bloqqer
• DepQBF
• QRATPre+: effective QBF preprocessing via strong redundancy properties
• MUSer2
• Positional games and QBF: the corrective encoding
• BEACON
• Truth assignments as conditional autarkies
• CAQE
• HQSpre
• Planning with Incomplete Information in Quantified Answer Set Programming
• QESTO

This page was built for software: QRATPre+