MPIDepQBF

MaRDI QIDQ30503swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-319-09284-3_32

Described by source

• \(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing

Cited in

(9)

• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• Non-prenex QBF solving using abstraction
• CirQit2
• QMiraXT
• HordeQBF
• QBFEVAL
• AIGSolve
• HordeQBF: a modular and massively parallel QBF solver
• QESTO

This page was built for software: MPIDepQBF