Bockmayr Alexander

Alexander Bockmayr

Information about the author Alexander Bockmayr will soon be added to the site.
Found 4 papers in total
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
2006
We study a hybrid MIP/CP solution approach in which CP is used for detecting...
Cutting planes and the elementary closure in fixed dimension
2001
The elementary closure P ′ of a polyhedron P is the intersection of P with all...
Branch and infer: A unifying framework for integer and finite domain constraint programming
1998
We introduce branch and infer, a unifying framework for integer linear programming and...
Modelling discrete optimisation problems in constraint logic programming
1998
Constraint logic programming has become a promising new technology for solving complex...
Papers per page: