Runsolver

swMATH8840MaRDI QIDQ20839FDOQ20839

Author name not available (Why is that?)

Described by source

• Controlling a solver execution with the runsolver Tool

Cited In (8)

• Pitfalls and best practices in algorithm configuration
• Certified DQBF solving by definition extraction
• Exact hypervolume subset selection through incremental computations
• New local search methods for partial MaxSAT
• Definability for model counting
• CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
• The configurable SAT solver challenge (CSSC)
• SpyBug: automated bug detection in the configuration space of SAT solvers

This page was built for software: Runsolver