A hybrid method for planning and scheduling

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

Volumn 3258, Issue , 2004, Pages 305-316

  Hooker, John N ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; CONSTRAINT THEORY; PROBLEM SOLVING; SCHEDULING;

CONSTRAINT PROGRAMMING; LOGIC-BASED BENDERS DECOMPOSITIONS; MINIMUM MAKESPAN; MIXED-INTEGER LINEAR PROGRAMMING; ORDERS OF MAGNITUDE; PLANNING AND SCHEDULING; RESOURCE CONSTRAINT; STATE OF THE ART;

INTEGER PROGRAMMING;

EID: 33646195257     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_24     Document Type: Article

References (10)

1. Benders, J. F., Partitioning procedures for solving mixed-variables programming problems, Numerische Mathematik 4 (1962): 238-252.
2. Eremin, A., and M. Wallace, Hybrid Benders decomposition algorithms in constraint logic programming, in T. Walsh, ed., Principles and Practice of Constraint Programming (CP 2001), Lecture Notes in Computer Science 2239, Springer (2001).
3. Geoffrion, A. M., Generalized Benders decomposition, Journal of Optimization Theory and Applications 10 (1972): 237-260.
4. Hooker, J. N., Logic-based Methods for Optimization: Combining Optimization and Constraint Satisfaction, John Wiley & Sons (2000).
5. Hooker, J. N. and G. Ottosson. Logic-based Benders decomposition, Mathematical Programming 96 (2003) 33-60.
6. Hooker, J. N., and Hong Yan, Logic circuit verification by Benders decomposition, in V. Saraswat and P. Van Hentenryck, eds., Principles and Practice of Constraint Programming: The Newport Papers, MIT Press (Cambridge, MA, 1995) 267-288.
7. Jain, V., and I. E. Grossmann, Algorithms for hybrid MILP/CP models for a class of optimization problems, INFORMS Journal on Computing 13 (2001) 258-276.
8. Thorsteinsson, E. S., Branch-and-Check: A hybrid framework integrating mixed integer programming and constraint logic programming, Lecture Notes in Computer Science 2239 (2001) 16-30.
9. Türkay, M., and I. E. Grossmann, Logic-based MINLP algorithms for the optimal synthesis of process networks, Computers and Chemical Engineering 20 (1996) 959-978.
10. Zhang, X., and R. W. H. Sargent, The optimal operation of mixed production facilities, Computers and Chemical Engineering (1996) 20 897-904.