@inbook {IOPORT.05147573,
    author       = {Marinescu, Radu and Dechter, Rina},
    title        = {AND/OR branch-and-bound search for pure 0/1 integer linear programming problems.},
    year         = {2006},
    booktitle    = {Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Third international conference, CPAIOR 2006, Cork, Ireland, May 31 -- June 2, 2006. Proceedings.},
    isbn         = {3-540-34306-7},
    pages        = {152-166},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/11757375},
    abstract     = {Summary: AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the structure of the model, which can translate into exponential time savings for search algorithms. In this paper we extend the recently introduced AND/OR Branch-and-Bound algorithm ({\ssf AOBB}) [{\it R. Marinescu} and {\it R. Dechter}, ``AND/OR branch-and-bound search for graphical models'', in: International Joint Conference on Artificial Intelligence (IJCAI'05), 224--229 (2005)] for solving pure 0/1 Integer Linear Programs. Since the variable selection can have a dramatic impact on search performance, we introduce a new dynamic AND/OR Branch-and-Bound algorithm able to accommodate variable ordering heuristics. The effectiveness of the dynamic AND/OR approach is demonstrated on a variety of benchmarks for pure 0/1 integer programming, including instances from the MIPLIB library, real-world combinatorial auctions and random uncapacitated warehouse location problems.},
    identifier   = {05147573},
}