BDDs in a Branch and Cut Framework
暂无分享,去创建一个
Bernd Becker | Friedrich Eisenbrand | Ralf Wimmer | Markus Behle | B. Becker | F. Eisenbrand | Ralf Wimmer | Markus Behle
[1] Gerhard Reinelt,et al. Traveling salesman problem , 2012 .
[2] Richard Rudell. Dynamic variable ordering for ordered binary decision diagrams , 1993, ICCAD.
[3] Egon Balas,et al. Facets of the knapsack polytope , 1975, Math. Program..
[4] Alexander Schrijver,et al. Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.
[5] Thomas Stützle,et al. SATLIB: An Online Resource for Research on SAT , 2000 .
[6] Laurence A. Wolsey,et al. Valid Linear Inequalities for Fixed Charge Problems , 1985, Oper. Res..
[7] Ellis L. Johnson,et al. Solving Large-Scale Zero-One Linear Programming Problems , 1983, Oper. Res..
[8] Laurence A. Wolsey,et al. Faces for a linear inequality in 0–1 variables , 1975, Math. Program..
[9] Martin Grötschel,et al. The ellipsoid method and its consequences in combinatorial optimization , 1981, Comb..
[10] Manfred W. Padberg,et al. Fractional covers for forests and matchings , 1984, Math. Program..
[11] Bernd Becker,et al. On the impact of structural circuit partitioning on SAT-based combinational circuit verification , 2004, Fifth International Workshop on Microprocessor Test and Verification (MTV'04).
[12] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[13] Toby Walsh,et al. Satisfiability in the Year 2000 , 2004, Journal of Automated Reasoning.
[14] Ingo Wegener,et al. Branching Programs and Binary Decision Diagrams , 1987 .
[15] Sarma B. K. Vrudhula,et al. FGILP: an integer linear program solver based on function graphs , 1993, ICCAD.
[16] L. Lovász,et al. Geometric Algorithms and Combinatorial Optimization , 1981 .
[17] Peter L. Hammer,et al. Facet of regular 0–1 polytopes , 1975, Math. Program..
[18] Sarma Vrudhula,et al. EVBDD-based algorithms for integer linear programming, spectral transformation, and function decomposition , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[19] C. Y. Lee. Representation of switching circuits by binary-decision programs , 1959 .
[20] John N. Hooker,et al. Planning and Scheduling by Logic-Based Benders Decomposition , 2007, Oper. Res..
[21] Richard M. Karp,et al. On linear characterizations of combinatorial optimization problems , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
[22] Gregory Gutin,et al. The traveling salesman problem , 2006, Discret. Optim..
[23] Matteo Fischetti,et al. Combinatorial Benders' Cuts , 2004, IPCO.
[24] Chikahiro Hori,et al. Interleaving based variable ordering methods for ordered binary decision diagrams , 1993, ICCAD.
[25] Matteo Fischetti,et al. Embedding Cuts in a Branch & Cut Framework : a Computational Study with { 0 , 12 }-Cuts , 2003 .