QMiraXT

swMATH11456MaRDI QIDQ23398FDOQ23398

Author name not available (Why is that?)

Official website: http://ira.informatik.uni-freiburg.de/src/projects_view.php?projectID=68

Cited In (14)

• Non-prenex QBF solving using abstraction
• PaQuBE
• CirQit2
• antom
• QUBE
• NAGSAT
• Picoso
• PMiniSAT
• HordeQBF
• MPIDepQBF
• An overview of parallel SAT solving
• PaMira
• HordeQBF: a modular and massively parallel QBF solver
• \(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing

This page was built for software: QMiraXT