Runsolver

MaRDI QIDQ20839swMATHFDO

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

(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