QBFEVAL

MaRDI QIDQ34688swMATHFDO

Official website http://www.qbflib.org/index_eval.php

Cited in

(9)

• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• A self-adaptive multi-engine solver for quantified Boolean formulas
• SMTtoTPTP
• FOOL
• HordeQBF
• MPIDepQBF
• AIGSolve
• ZRes

This page was built for software: QBFEVAL