MPIDepQBF

swMATH18671MaRDI QIDQ30503FDOQ30503

Author name not available (Why is that?)

Described by source

• MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing

Cited In (3)

• HordeQBF: A Modular and Massively Parallel QBF Solver
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• Non-prenex QBF Solving Using Abstraction

This page was built for software: MPIDepQBF