QRATPre+
From MaRDI portal
Software:1354193
No author found.
Source code repository: https://github.com/lonsing/qratpreplus
Related Items (5)
Positional games and QBF: the corrective encoding ⋮ QRATPre+: effective QBF preprocessing via strong redundancy properties ⋮ Truth Assignments as Conditional Autarkies ⋮ Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations ⋮ Planning with Incomplete Information in Quantified Answer Set Programming
This page was built for software: QRATPre+
