COMiniSatPS
From MaRDI portal
Software:30405
No author found.
Related Items (10)
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT ⋮ SAT race 2015 ⋮ Machine learning-based restart policy for CDCL SAT solvers ⋮ Encoding cardinality constraints using multiway merge selection networks ⋮ Clause vivification by unit propagation in CDCL SAT solvers ⋮ Supercharging plant configurations using Z3 ⋮ Deep cooperation of CDCL and local search for SAT ⋮ Assessing progress in SAT solvers through the Lens of incremental SAT ⋮ The \textsc{MergeSat} solver ⋮ A model of random industrial SAT
This page was built for software: COMiniSatPS
