On the intersection of AI and OR

Knowledge Engineering Review

Volumn 16, Issue 1, 2001, Pages 1-4

  Gomes, Carla P ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MARKOV PROCESSES; OPERATIONS RESEARCH; OPTIMIZATION; PLANNING; SCHEDULING;

COMBINATORIAL CONSTRAINTS; CONSTRAINT-PROGRAMMING FRAMEWORK;

ARTIFICIAL INTELLIGENCE;

EID: 0346906733     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888901000066     Document Type: Article

References (11)

1. Caseau, Y, Laburthe, F, Le Pape, C and Rottembourg B, 2001, "Combining local and global search in a constraint-programming environment" Knowledge Engineering Review 16(2) 41-68.
2. De Fanas, I, Johnson, E and Nemhauser, G, 2001, "Branch-and-cut for combinatorial optimisation problems without auxiliary binary variables" Knowledge Engineering Review 16(2) 25-39.
3. Dixon, H and Ginsberg, M, 2000, "Combining satisfiability techniques from AI and OR" Knowledge Engineering Review 15(1) 31-47.
4. Gomes, C, 2000, "Artificial intelligence and operations research: challenges and opportunities in planning and scheduling" Knowledge Engineering Review 15(1) 1-11.
5. Hooker, J, Ottosson, G, Thorsteinsson, E and Kim, H, 2000, "A scheme for unifying optimisation and constraint-satisfaction methods" Knowledge Engineering Review 15(1) 11-31.
6. Kautz, H and Walser, J, 2000, "Integer optimisation models of AI planning problems" Knowledge Engineering Review 15(1) 101-117.
7. Puget, J and Lustig, I, 2001, "Constraint programming and maths programming" Knowledge Engineering Review 16(2) 5-23.
8. Smith, D, Frank, J and Jonsson A, 2000, "Bridging the gap between planning and scheduling" Knowledge Engineering Review 15(1) 47-85.
9. Westfold, S and Smith, D, 2001, "Synthesis of efficient constraint-satisfaction programs" Knowledge Engineering Review 16(2) 69-84.
10. Wolfman, S and Weld, D, 2001, "Combining linear programming and satisfiability-solving for resource planning" Knowledge Engineering Review 16(2) 85-99.
11. Vossen, T, Ball, M, Lotem, A and Nau, D, 2000, "Applying integer-programming techniques to AI planning" Knowledge Engineering Review 15(1) 85-101.