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
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
- Recognition of Nested Gates in CNF Formulas
- An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
- Definability for model counting
- Covered clauses are not propagation redundant
- Preprocessing for DQBF
- The configurable SAT solver challenge (CSSC)
- DRAT Proofs for XOR Reasoning
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
- LMHS: A SAT-IP Hybrid MaxSAT Solver
- SAT competition 2020
This page was built for software: Coprocessor
