MPIDepQBF

swMATH18671MaRDI QIDQ30503FDOQ30503

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: MPIDepQBF