Rapid learning for binary programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6140 LNCS, Issue , 2010, Pages 51-55

  Berthold, Timo ^a   Feydy, Thibaut ^b   Stuckey, Peter J ^b  

^a ZUSE INSTITUTE BERLIN   (Germany)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY PROGRAMS; CONSTRAINT PROGRAMMING; DISCRETE OPTIMIZATION PROBLEMS; LEARNING APPROACH; ROOT NODES;

COMBINATORIAL OPTIMIZATION; CONSTRAINT THEORY; HEURISTIC PROGRAMMING;

INTEGER PROGRAMMING;

EID: 77955460519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13520-0_8     Document Type: Conference Paper

References (13)

1. Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)
2. Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proceedings of DAC 2001, pp. 530-535 (2001)
3. Katsirelos, G., Bacchus, F.: Generalised nogoods in CSPs. In: Proceedings of AAAI 2005, pp. 390-396 (2005)
4. Ohrimenko, O., Stuckey, P., Codish, M.: Propagation via lazy clause generation. Constraints 14(3), 357-391 (2009)
5. Davey, B., Boland, N., Stuckey, P.: Efficient intelligent backtracking using linear programming. INFORMS Journal of Computing 14(4), 373-386 (2002)
6. Achterberg, T.: Conflict analysis in mixed integer programming. Discrete Optimization 4(1), 4-20 (2007); Special issue: Mixed Integer Programming
7. Kilinç Karzan, F., Nemhauser, G.L., Savelsbergh, M.W.P.: Information-based branching schemes for binary linear mixed-integer programs. Math. Progr. C 1(4), 249-293 (2009)
8. Achterberg, T., Berthold, T.: Hybrid branching. In: van Hoeve,W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol. 5547, pp. 309-311. Springer, Heidelberg (2009)
9. Achterberg, T.: Constraint Integer Programming. PhD thesis, TU Berlin (2007)
10. Achterberg, T., Berthold, T., Koch, T., Wolter, K.: Constraint integer programming: A new approach to integrate CP and MIP. In: Perron, L., Trick, M.A. (eds.) CPAIOR 2008. LNCS, vol. 5015, pp. 6-20. Springer, Heidelberg (2008)
11. Bixby, R.E., Ceria, S., McZeal, C.M., Savelsbergh, M.W.: An updated mixed integer programming library: MIPLIB 3.0. Optima (58), 12-15 (1998)
12. Achterberg, T., Koch, T., Martin, A.: MIPLIB 2003. Operations Research Letters 34(4), 1-12 (2006)
13. Mittelmann, H.: Decision tree for optimization software: Benchmarks for optimization software (2010), http://plato.asu.edu/bench.html