[PB16] Pseudo-Boolean Competition 2016

Forum 'Annonces' - Sujet créé le 2016-04-01

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

All details about the competition can be found at http://www.cril.univ-artois.fr/PB16/

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