Coprocessor
From MaRDI portal
Software:28607
swMATH16739MaRDI QIDQ28607FDOQ28607
Author name not available (Why is that?)
Cited In (12)
- 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
- DRAT proofs for XOR reasoning
- Definability for model counting
- Covered clauses are not propagation redundant
- LMHS: a SAT-IP hybrid MaxSat solver
- Preprocessing for DQBF
- The configurable SAT solver challenge (CSSC)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
- SAT competition 2020
- CCAnr: a configuration checking based local search solver for non-random satisfiability
This page was built for software: Coprocessor
