Sparrow2Riss
From MaRDI portal
Software:55834
swMATH40134MaRDI QIDQ55834FDOQ55834
Author name not available (Why is that?)
Cited In (6)
- Deep cooperation of CDCL and local search for SAT
- PyDGGA: distributed GGA for automatic configuration
- SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
- Title not available (Why is that?)
- The configurable SAT solver challenge (CSSC)
This page was built for software: Sparrow2Riss
