Abstract
The rst evaluation of pseudo-Boolean solvers was organized as a subtrack of the SAT 2005 competition. The rst goal of this event is to take a snapshot of the current state of the art in the eld of pseudo-Boolean constraints. The second goal is to stimulate the research eorts in this eld and contribute to the creation of better technologies. This paper details the organization and the results of this event.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Journal on Satisfiability, Boolean Modeling and Computation
Paper Title
Journal
Date
