Sparrow2Riss
From MaRDI portal
Software:55834
No author found.
Related Items (6)
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability ⋮ The configurable SAT solver challenge (CSSC) ⋮ Unnamed Item ⋮ SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers ⋮ PyDGGA: distributed GGA for automatic configuration ⋮ Deep cooperation of CDCL and local search for SAT
This page was built for software: Sparrow2Riss
