Conflict analysis in mixed integer programming

DMCA

Conflict analysis in mixed integer programming (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Tobias Achterberg

Citations:

22 - 6 self

BibTeX

@MISC{Achterberg06conflictanalysis,
    author = {Tobias Achterberg},
    title = {Conflict analysis in mixed integer programming },
    year = {2006}
}

OpenURL

Abstract

Conflict analysis for infeasible subproblems is one of the key ingredients in modern SAT solvers. In contrast, it is common practice for today’s mixed integer programming solvers to discard infeasible subproblems and the information they reveal. In this paper, we try to remedy this situation by generalizing SAT infeasibility analysis to mixed integer programming. We present heuristics for branch-and-cut solvers to generate valid inequalities from the current infeasible subproblem and the associated branching information. SAT techniques can then be used to strengthen the resulting constraints. Extensive computational experiments show the potential of our method. Conflict analysis greatly improves the performance on particular models, while it does not interfere with the solving process on the other instances. In total, the number of required branching nodes on general MIP instances was reduced by 18 % in the geometric mean, and the solving time was reduced by 11%. On infeasible MIPs arising in the context of chip verification and on a model for a particular combinatorial game, the number of nodes was reduced by 80%, thereby reducing the solving time by 50%.

Keyphrases

mixed integer conflict analysis discrete optimization solving time infeasible subproblems required branching node infeasible mips arising branch-and-cut solver particular model present heuristic resulting constraint particular combinatorial game sat infeasibility analysis key ingredient current infeasible subproblem modern sat solver valid inequality general mip instance common practice chip verification sat technique extensive computational experiment associated branching information geometric mean

DMCA