QBFEVAL

swMATH22901MaRDI QIDQ34688FDOQ34688

Author name not available (Why is that?)

Cited In (3)

• 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

This page was built for software: QBFEVAL