QRATPre+
From MaRDI portal
Software:1354193
swMATH41096MaRDI QIDQ1354193FDOQ1354193
Author name not available (Why is that?)
Source code repository: https://github.com/lonsing/qratpreplus
Cited In (5)
- Planning with Incomplete Information in Quantified Answer Set Programming
- Positional games and QBF: the corrective encoding
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- QRATPre+: effective QBF preprocessing via strong redundancy properties
- Truth Assignments as Conditional Autarkies
This page was built for software: QRATPre+
