6 results for “topic:qbf-solver”
A fast and certifying solver for quantified Boolean formulas.
Qute: a dependency learning QBF solver.
A small and simple RPN QBF solver
Autarkies for QBF
A minimal implementation of an expansion-based QBF solver which does not use recursion.
A simple search-based solver with QCDCL and Cube Learning for QBF (thesis project code).