QMiraXT

MaRDI QIDQ23398swMATHFDO

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
• PaMira
• An overview of parallel SAT solving
• HordeQBF: a modular and massively parallel QBF solver
• \(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing

This page was built for software: QMiraXT