Evaluating the impact of AND/OR search on 0-1 integer linear programming

  • Authors:
  • Radu Marinescu;Rina Dechter

  • Affiliations:
  • Cork Constraint Computation Centre, University College Cork, Cork, Ireland;Donald Bren School of Information and Computer Science, University of California, Irvine, USA 92697

  • Venue:
  • Constraints
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-first AND/OR search algorithms to solving 0-1 Integer Linear Programs (0-1 ILP) within this framework. We also include a class of dynamic variable ordering heuristics while exploring an AND/OR search tree for 0-1 ILPs. We demonstrate the effectiveness of these search algorithms on a variety of benchmarks, including real-world combinatorial auctions, random uncapacitated warehouse location problems and MAX-SAT instances.