HordeQBF

swMATH18670MaRDI QIDQ30502FDOQ30502

Author name not available (Why is that?)

Official website: http://baldur.iti.kit.edu/hordesat/

Cited In (6)

• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• QMiraXT
• MPIDepQBF
• QBFEVAL
• AIGSolve
• HordeQBF: a modular and massively parallel QBF solver

This page was built for software: HordeQBF