Runsolver

swMATH8840MaRDI QIDQ20839FDOQ20839

Author name not available (Why is that?)

Described by source

• Controlling a solver execution with the runsolver Tool

Cited In (8)

• Certified DQBF solving by definition extraction
• SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
• Exact hypervolume subset selection through incremental computations
• New local search methods for partial MaxSAT
• Definability for model counting
• Pitfalls and Best Practices in Algorithm Configuration
• CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
• The configurable SAT solver challenge (CSSC)

This page was built for software: Runsolver