메뉴 건너뛰기




Volumn 1865, Issue , 2000, Pages 237-255

Dynamic constraint models for planning and scheduling problems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; OPERATIONS RESEARCH;

EID: 84957026045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44654-0_12     Document Type: Conference Paper
Times cited : (15)

References (19)
  • 3
    • 84956966338 scopus 로고    scopus 로고
    • VisOpt – the Solver behind the User Interaction
    • available at URL
    • Barták, R.: VisOpt – the Solver behind the User Interaction. White Paper, InSol Ltd., Israel (1999), available at URL http://www.visopt.com/.
    • (1999) White Paper, Insol Ltd., Israel
    • Barták, R.1
  • 6
    • 0031074857 scopus 로고    scopus 로고
    • Fast Planning Through Planning Graph Analysis
    • Blum, A. L. and Furst, M. L.: Fast Planning Through Planning Graph Analysis. Artificial Intelligence 90 (1997) 281-300.
    • (1997) Artificial Intelligence , vol.90 , pp. 281-300
    • Blum, A.L.1    Furst, M.L.2
  • 8
    • 0002785086 scopus 로고
    • Improved CLP Scheduling with Task Intervals
    • MIT Press
    • Caseau, Y., Laburthe, F.: Improved CLP Scheduling with Task Intervals. Proceedings of ICLP94, MIT Press, (1994) 369-383.
    • (1994) Proceedings of ICLP94 , pp. 369-383
    • Caseau, Y.1    Laburthe, F.2
  • 9
    • 0038981603 scopus 로고    scopus 로고
    • Cumulative Scheduling with Task Intervals
    • MIT Press
    • Caseau, Y., Laburthe, F.: Cumulative Scheduling with Task Intervals. Proceedings of JICSLP96, MIT Press (1996) 363-337.
    • (1996) Proceedings of JICSLP96
    • Caseau, Y.1    Laburthe, F.2
  • 13
    • 2842560201 scopus 로고
    • STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
    • Fikes, R. E. and Nilsson, N. J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 3-4 (1971) 189-208.
    • (1971) Artificial Intelligence , vol.3-4 , pp. 189-208
    • Fikes, R.E.1    Nilsson, N.J.2
  • 17
    • 1642465271 scopus 로고    scopus 로고
    • Scaling up Planning by teasing out Resource Scheduling
    • Arizona State University
    • Srivastava, B. and Kambhampati, S.: Scaling up Planning by teasing out Resource Scheduling. Technical Report ASU CSE TR 99-005, Arizona State University (1999).
    • (1999) Technical Report ASU CSE TR 99-005
    • Srivastava, B.1    Kambhampati, S.2
  • 19
    • 0042657705 scopus 로고
    • Constraint Programming, Mayoh B. and Penjaak J. (Eds.), NATO ASI Series, Springer Verlag
    • Wallace, M.: Applying Constraints for Scheduling. Constraint Programming, Mayoh B. and Penjaak J. (Eds.), NATO ASI Series, Springer Verlag (1994).
    • (1994) Applying Constraints for Scheduling
    • Wallace, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.