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

The First Evaluation of Pseudo-Boolean Solvers (PB’05)

Issue title: SAT 2005 Competitions and Evaluations

Guest editors: Daniel Le Berre and Laurent Simon

Article type: Research Article

Authors: Manquinho, Vasco M.a | Roussel, Olivierb

Affiliations: [a] IST/INESC-ID, Technical University of Lisbon, Rua Alves Redol n. 9 - sala 329, 1000-029 Lisboa – Portugal. E-mail: [email protected] | [b] CRIL, rue de l’Université – SP 16, 62307 Lens Cedex – France. E-mail: [email protected]

Keywords: pseudo-Boolean, evaluation, benchmarks

DOI: 10.3233/SAT190018

Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 2, no. 1-4, pp. 103-143, 2006

Received 1 October 2005
|
Revision received 1 December 2005
|
Published: 1 March 2006
Get PDF open access

Abstract

The first evaluation of pseudo-Boolean solvers was organized as a subtrack of the SAT 2005 competition. The first goal of this event is to take a snapshot of the current state of the art in the field of pseudo-Boolean constraints. The second goal is to stimulate the research efforts in this field and contribute to the creation of better technologies. This paper details the organization and the results of this event.

Show more