swMATH40134MaRDI QIDQ55834FDOQ55834
Author name not available (Why is that?)
Official website: http://aclib.net/cssc2014/participants.html
Cited In (12)
- PyDGGA
- 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
- The configurable SAT solver challenge (CSSC)
- SpyBug: automated bug detection in the configuration space of SAT solvers
- CCAnr: a configuration checking based local search solver for non-random satisfiability
This page was built for software: Sparrow2Riss
