1277799053

Source: ex10.mps.zip
File: upload/29.06.2010_1277799053_Iulian_Ober/ex10.mps.zip
Name: Iulian_Ober
Company: University of Toulouse, France
eMail: iulian.ober@irit.fr
Street: 118 Route de Narbonne
City: Toulouse
Country: France
Message: Encoding of a particular type of Boolean SAT problem where ILP performes better (but not extraordinary better).

This is a large instance, currently unsolved by any solver we tried. A solution exists and is known.

See also ex9.mps for a smaller, solvable instance.

delivered on: 29.06.2010
Fileupload successfully confirmed!