Combining linear programming and satisfiability solving for resource planning

Knowledge Engineering Review

Volumn 16, Issue 1, 2001, Pages 85-99

  Wolfman, Steven A ^a   Weld, Daniel S ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; OPERATIONS RESEARCH; PLANNING; PROGRAM COMPILERS;

LINEAR CONJUNCTIVE NORMAL FORM (LCNF); RESOUREC PLANNING;

LINEAR PROGRAMMING;

EID: 0348167249     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888901000017     Document Type: Article

References (33)

1. Badros, GJ and Borning, A, 1998, "The cassowary linear arithmetic constraint solving algorithm: interface and implementation" Technical Report 98-06-04, University of Washington, Department of Computer Science and Engineering.
2. Bayardo, R and Schrag, R, 1997, "Using CSP look-back techniques to solve real-world SAT instances" Proceedings of the Fourteenth National Conference on Artificial Intelligence 203-208.
3. Blum, A and Furst, M, 1995, "Fast planning through planning graph analysis" Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence 1636-1642.
4. Borning, A, Marriott, K, Stuckey, P and Xiao, Y, 1997, "Solving linear arithmetic constraints for user interface applications" Proceedings of the 1997 ACM Symposium on User Interface Software and Technology 87-96.
5. Cook, S and Mitchell, D, 1997, "Finding hard instances of the satisfiability problem: a survey" Proceedings of the DIMACS Workshop on Satisfiability Problems 11-13.
6. Crawford, J and Auton, L, 1993, "Experimental results on the cross-over point in satisfiability problems" Proceedings of the Eleventh National Conference on Artificial Intelligence 21-27.
7. Davis, M, Logemann, G and Loveland, D, 1962, "A machine program for theorem proving" C. ACM 5 394-397.
8. Ernst, M, Millstein, T and Weld, D, 1997, "Automatic SAT-compilation of planning problems" Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence 1169-1176.
9. Falkenhainer, B and Forbus, K, 1988, "Setting up large scale qualitative models" Proceedings of the Seventh National Conference on Artificial Intelligence 301-306.
10. Ginsberg, ML and McAllester, DA, 1994, "Gsat and dynamic backtracking" Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning 226-237.
11. Gomes, CP, Selman, B and Kautz, H, 1998, "Boosting combinatorial search through randomization" Proceedings of the Fifteenth National Conference on Artificial Intelligence 431-437.
12. Hooker, JN, Ottosson, G, Thorsteinsson, ES and Kim, H, 1999, "On integrating constraint propagation and linear programming for combinatorial optimization" Proceedings of the Sixteenth National Conference on Artificial Intelligence 136-141.
13. Jaffar, J, Michaylov, S, Stuckey, P and Yap, R, 1992, "The CLP (R) language and system" ACM Transactions on Programming Languages and Systems 14(3) 339-395.
14. Karloff, H, 1991, Linear Programming Birkhäuser.
15. Kautz, H and Selman, B, 1996, "Pushing the envelope: planning, propositional logic, and stochastic search" Proceedings of the Thirteenth National Conference on Artificial Intelligence 1194-1201.
16. Kautz, H and Selman, B, 1998, "Blackbox: a new approach to the application of theorem proving to problem solving" AIPS98 Workshop on Planning as Combinatorial Search 58-60.
17. Kautz, H and Walser, JP, 1999, "State-space planning by integer optimization" Proceedings of the Sixteenth National Conference on Artificial Intelligence 526-533.
18. Kautz, H and Walser, JP, 2000, "Integer optimisation models of AI planning problems" Knowledge Engineering Review 15(1) 101-117.
19. Koehler, J, 1998, "Planning under resource constraints" Proceedings of the Thirteenth European Conference on Artificial Intelligence 489-493.
20. Li, C and Anbulagan, 1997, "Heuristics based on unit propagation for satisfiability problems" Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence 366-371.
21. Majercik, SM and Littman, ML, 1998, "MAXPLAN: a new approach to probabilistic planning" Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems 86-93.
22. McDermott, D, 1998, "PDDL - the planning domain definition language" AIPS-98 Competition Committee, draft 1.6 edition, June 1998.
23. Penberthy, JS and Weld, D, 1994, "Temporal planning with continuous change" Proceedings of the Twelfth National Conference on Artificial Intelligence 1010-1015.
24. Saraswat, VA, 1989, "Concurrent constraint programming languages" Ph.D. thesis, Carnegie-Mellon University, Computer Science Department.
25. Selman, B, Kautz, H and Cohen, B, 1996, "Local search strategies for satisfiability testing" DIMACS Series in Discrete Mathematics and Theoretical Computer Science 26 521-532.
26. Selman, B, Kautz, H and McAllester, D, 1997, "Computational challenges in prepositional reasoning and search" Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence 50-54.
27. Smith, DE, Frank, J and Jonsson, AK, 2000, "Bridging the gap between planning and scheduling" Knowledge Engineering Review 15(1) 47-83.
28. van Beek, P and Chen, X, 1999, "CPlan: A constraint programming approach to planning" Proceedings of the Sixteenth National Conference on Artificial Intelligence 585-590.
29. Veloso, M, 1992, "Learning by analogical reasoning in general problem solving" Ph.D. thesis, Carnegie Mellon University; available as technical report CMU-CS-92-174.
30. Vossen, T, Ball, M, Lotem, A and Nau, D, 1999, "On the use of integer programming models in AI planning" Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence 304-309.
31. Vossen, T, Ball, M, Lotem, A and Nau, D, 2000, "Applying integer programming to AI planning" Knowledge Engineering Review 15(1) 85-100.
32. Wolfman, S and Weld, D, 1999a, "The LPSAT system and its application to resource planning" Technical Report 99-04-04, University of Washington, Department of Computer Science and Engineering.
33. Wolfman, S and Weld, D, 1999b, "The LPSAT system and its application to resource planning" Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence 310-317.