QRATPre+

MaRDI QIDQ1354193swMATHFDO

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
• Bloqqer
• DepQBF
• MUSer2
• BEACON
• CAQE
• HQSpre
• Positional games and QBF: the corrective encoding
• 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
• QESTO

This page was built for software: QRATPre+