Journal on Satisfiability Boolean Modeling and Computation · 2011 · 66 citations · 1 references
ComputingComputer ScienceAlgorithmsRuntime EnvironmentsRuntime SystemsSolution EvaluationRun-time Resource MonitoringRuntime Analysis
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
1