1277798896

Source: ex9.mps.zip
File: upload/29.06.2010_1277798896_Iulian_Ober/ex9.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).

See also ex10.mps for a larger instance, currently unsolvable by most solvers. (A solution exists and is known.)


delivered on: 29.06.2010
Fileupload successfully confirmed!