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