Branching rules revisited

نویسندگان

  • Tobias Achterberg
  • Thorsten Koch
  • Alexander Martin
چکیده

Mixed integer programs are commonly solved with linear programming based branch-and-bound algorithms. The success of the algorithm strongly depends on the strategy used to select the variable to branch on. We present a new generalization called reliability branching of today’s state-of-the-art strong branching and pseudocost branching branching strategies for linear programming based branch-and-bound algorithms. After reviewing commonly used branching strategies and performing extensive computational studies we compare different parameter settings and show the superiority of our proposed new strategy.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Quasi-Spin Graded-Fermion Formalism and gl(m|n) ↓ osp(m|n) Branching Rules

The graded-fermion algebra and quasi-spin formalism are introduced and applied to obtain the gl(m|n) ↓ osp(m|n) branching rules for the “two-column” tensor irreducible representations of gl(m|n), for the case m ≤ n (n > 2). In the case m < n, all such irreducible representations of gl(m|n) are shown to be completely reducible as representations of osp(m|n). This is also shown to be true for the...

متن کامل

On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT

We study the limit of branching rules in Davis-Putnam (DP) procedure for hard random unsatisfiable 3-SAT and try to answer the question: what would be the search tree size if every branching variable were the best possible? The issue is of practical interest because many efforts have been spent for designing better branching rules. Our experimental results suggest that the branching rules used ...

متن کامل

Conflict-Based Selection of Branching Rules

We propose an adaptive framework for branching rule selection that is based on a set of branching rules. Each branching rule is attached a preference value that is dynamically adapted with respect to conflict analysis. Thus, our approach brings together two essential features of modern SAT algorithms which were traditionally independent from each other. Experimental results show the feasibility...

متن کامل

Design Rules and Abstractions ( from branching and real time ) DRAFT

Three simple models of synchronous hardware are given; using linear discrete, branching discrete and branching real time. A simple notion of abstraction is introduced, motivated by the need to ultimately view such models as scienti c theories that make empirical predictions. It makes the signi cance of design rules explicit. Two abstractions from the branching discrete to the linear discrete mo...

متن کامل

Design Rules and Abstractions ( from branching and real time )

Three simple models of synchronous hardware are given; using linear discrete, branching discrete and branching real time. A simple notion of abstraction is introduced, motivated by the need to ultimately view such models as scientiic theories that make empirical predictions. It makes the signiicance of design rules explicit. Two abstractions from the branching discrete to the linear discrete mo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Oper. Res. Lett.

دوره 33  شماره 

صفحات  -

تاریخ انتشار 2005