Controlling a solver execution with the runsolver tool. The runsolver tool was designed for the 2005 edition of the pseudo-Boolean competition in order to solve the problem of correctly measuring the resources used by solvers, especially solvers with multiple processes. Since then, it has been improved in several directions and adopted by several other competitions or frameworks. This paper presents the inner working of this tool and the technical problems that it addresses.
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
- Lagniez, Jean-Marie; Lonca, Emmanuel; Marquis, Pierre: Definability for model counting (2020)
- Eggensperger, Katharina; Lindauer, Marius; Hutter, Frank: Pitfalls and best practices in algorithm configuration (2019)
- Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
- Luo, Chuan; Cai, Shaowei; Su, Kaile; Huang, Wenxuan: CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability (2017)
- Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile: New local search methods for partial MaxSAT (2016)
- Manthey, Norbert; Lindauer, Marius: Spybug: automated bug detection in the configuration space of SAT solvers (2016)
- Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten: Overview and analysis of the SAT challenge 2012 solver competition (2015) ioport
- Charwat, Günther; Ianni, Giovambattista; Krennwallner, Thomas; Kronegger, Martin; Pfandler, Andreas; Redl, Christoph; Schwengerer, Martin; Spendier, Lara Katharina; Wallner, Johannes Peter; Xiao, Guohui: VCWC: a versioning competition workflow compiler (2013) ioport
- Roussel, Olivier: Controlling a solver execution with the runsolver Tool (2011)