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