You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Controlling a Solver Execution with the runsolver Tool

Subtitle: System description

Article type: Research Article

Authors: Roussel, Oliviera; b

Affiliations: [a] Université Lille-Nord de France, Artois, F-62307 Lens, CRIL, F-62307 Lens, France | [b] CNRS UMR 8188, F-62307 Lens, France

Keywords: solver control, resources limitation, competitions

DOI: 10.3233/SAT190083

Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 7, no. 4, pp. 139-144, 2011

Received 1 April 2011
|
Revision received 1 August 2011
|
Published: 1 November 2011
Get PDF open access

Abstract

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.

Show more