COMiniSatPS
From MaRDI portal
Software:30405
swMATH18569MaRDI QIDQ30405FDOQ30405
Author name not available (Why is that?)
Cited In (10)
- Supercharging plant configurations using Z3
- Deep cooperation of CDCL and local search for SAT
- A model of random industrial SAT
- Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
- Machine learning-based restart policy for CDCL SAT solvers
- SAT race 2015
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Clause vivification by unit propagation in CDCL SAT solvers
- Encoding cardinality constraints using multiway merge selection networks
- The \textsc{MergeSat} solver
This page was built for software: COMiniSatPS
