Le 01/04/2016 par olivier roussel :

The 2016 edition of the pseudo-Boolean (0/1 ILP) solvers competition (PB16) is organized as a satellite event of the SAT 2016 conference.

As for previous editions (PB05-07, PB09-12, PB evaluation 2015), the goal is to assess the state of the art in the field of pseudo-Boolean solvers.

We invite everyone interested by the field to submit:

• either one or more pseudo-Boolean solvers
• or new PB benchmarks, which is especially important to improve the evaluation of solvers

The timetable of the competitions is detailed below.

Opening of registration site:               April 1st, 2016
Submitters must request a login by:         April 15, 2016
Solvers and benchmarks submission deadline: May 1st, 2016
Solvers description must be provided by:    June 11, 2016
Results during the SAT 2016 conference:     July 5-July 8, 2016