swMATH18569MaRDI QIDQ30405FDOQ30405
Author name not available (Why is that?)
Official website: http://cs.nyu.edu/~chanseok/cominisatps/
Cited In (29)
- Supercharging plant configurations using Z3
- Deep cooperation of CDCL and local search for SAT
- A model of random industrial SAT
- CVC4SY
- Machine learning-based restart policy for CDCL SAT solvers
- GrADSAT
- Glucose
- PrecoSAT
- AsmL
- SArTagnan
- JViews
- Treengeling
- HordeSat
- SAT race 2015
- satUZK
- abcdSAT
- Rosette
- MapleCOMSPS
- MapleCOMSPS_LRB
- Assessing progress in SAT solvers through the Lens of incremental SAT
- cnf2aig
- Maple_LCM_Dist_ChronoBT
- Sparrow2Riss
- Clause vivification by unit propagation in CDCL SAT solvers
- Scranfilize
- cake_lpr
- Encoding cardinality constraints using multiway merge selection networks
- Between SAT and UNSAT: the fundamental difference in CDCL SAT
- The \textsc{MergeSat} solver
This page was built for software: COMiniSatPS
