Cited in
(24)- CCAnr: a configuration checking based local search solver for non-random satisfiability
- On preprocessing techniques and their impact on propositional model counting
- An expressive model for instance decomposition based parallel SAT solvers
- Recognition of Nested Gates in CNF Formulas
- SAT competition
- sQueezeBF
- LMHS
- sharpSAT
- MaxPre
- Lingeling
- BooleForce
- cnf2aig
- Sparrow2Riss
- DRAT proofs for XOR reasoning
- Definability for model counting
- Covered clauses are not propagation redundant
- Dsharp
- LMHS: a SAT-IP hybrid MaxSat solver
- Preprocessing for DQBF
- SLIME
- The configurable SAT solver challenge (CSSC)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
- SaDiCaL
- SAT competition 2020
This page was built for software: Coprocessor
