PMiniSAT

MaRDI QIDQ23394swMATHFDO

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

Cited in

(7)

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

This page was built for software: PMiniSAT