PMiniSAT

swMATH11452MaRDI QIDQ23394FDOQ23394

Author name not available (Why is that?)

Official website: http://baldur.iti.uka.de/sat-race-2008/descriptions/solver_32.pdf

Cited In (7)

• PaQuBE
• NAGSAT
• Picoso
• MapleAmpharos
• An overview of parallel SAT solving
• PaMira
• A collaborative approach for multi-threaded SAT solving

This page was built for software: PMiniSAT