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)

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

This page was built for software: Runsolver