Cited in
(24)- Pitfalls and best practices in algorithm configuration
- Certified DQBF solving by definition extraction
- Exact hypervolume subset selection through incremental computations
- iOpt
- Zchaff2004
- SAT competition
- RPOLY
- Asparagus
- RunLim
- Kangaroo
- Coprocessor
- Spybug
- SpySMAC
- WPM2
- MadMax
- AutoFolio
- Sparrow2Riss
- New local search methods for partial MaxSAT
- Definability for model counting
- clingraph
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- The configurable SAT solver challenge (CSSC)
- dCAQE
- SpyBug: automated bug detection in the configuration space of SAT solvers
This page was built for software: Runsolver
