MPIDepQBF

swMATH18671MaRDI QIDQ30503FDOQ30503

Author name not available (Why is that?)

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
• QESTO
• CirQit2
• QMiraXT
• HordeQBF
• QBFEVAL
• AIGSolve
• HordeQBF: a modular and massively parallel QBF solver

This page was built for software: MPIDepQBF