Sciweavers

JSAT
2006

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

13 years 10 months ago
The First Evaluation of Pseudo-Boolean Solvers (PB'05)
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.
Vasco M. Manquinho, Olivier Roussel
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JSAT
Authors Vasco M. Manquinho, Olivier Roussel
Comments (0)