QBFEVAL

swMATH22901MaRDI QIDQ34688FDOQ34688

Author name not available (Why is that?)

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