Runsolver

swMATH8840MaRDI QIDQ20839FDOQ20839

Author name not available (Why is that?)

Official website: http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_12_Roussel.pdf

Described by source

• Controlling a solver execution with the runsolver Tool

Cited In (10)

• 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
• SAT competition
• Kangaroo
• 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