Sparrow2Riss
From MaRDI portal
Software:55834
swMATH40134MaRDI QIDQ55834FDOQ55834
Author name not available (Why is that?)
Cited In (6)
- 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
- 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
