Sparrow2Riss
From MaRDI portal
Cited in
(12)- SAT competition
- PyDGGA: distributed GGA for automatic configuration
- Deep cooperation of CDCL and local search for SAT
- SpyBug: automated bug detection in the configuration space of SAT solvers
- A lower bound on the hypergraph Ramsey number \(R(4,5;3)\)
- CCAnr: a configuration checking based local search solver for non-random satisfiability
- The configurable SAT solver challenge (CSSC)
- CCAnr
- probSAT
- CPSparrow
- gluHack
- PyDGGA
This page was built for software: Sparrow2Riss
