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 (24)

• Pitfalls and best practices in algorithm configuration
• clingraph
• dCAQE
• Certified DQBF solving by definition extraction
• Exact hypervolume subset selection through incremental computations
• New local search methods for partial MaxSAT
• iOpt
• Zchaff2004
• SAT competition
• RPOLY
• Asparagus
• RunLim
• Kangaroo
• Coprocessor
• Spybug
• SpySMAC
• WPM2
• MadMax
• Definability for model counting
• AutoFolio
• Sparrow2Riss
• 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