PMiniSAT

swMATH11452MaRDI QIDQ23394FDOQ23394

Author name not available (Why is that?)

Cited In (2)

• An overview of parallel SAT solving
• A collaborative approach for multi-threaded SAT solving

This page was built for software: PMiniSAT