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