Reasoning with conditional time-intervals Part II: An algebraical model for resources

Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22

Volumn , Issue , 2009, Pages 201-206

  Laborie, Philippe ^a   Rogerie, Jérôme ^a   Shaw, Paul ^a   Vilím, Petr ^a  

^a IBM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTERVAL VARIABLE; MODEL PROBLEMS; MODELING LANGUAGES; MODELING POWER; OPTIMIZERS; SCHEDULING MODELS; SCHEDULING PROBLEM; STRUCTURAL ASPECTS;

ARTIFICIAL INTELLIGENCE; HIGH LEVEL LANGUAGES; LINGUISTICS;

SCHEDULING;

EID: 70350510857     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Aggoun, A., and Beldiceanu, N. 1993. Extending CHIP in order to Solve Complex Scheduling and PlacementProblems. Mathematical and Computer Modelling 17:57-73.
2. Baptiste, P.; Le Pape, C.; and Nuijten, W. 2001. Constraint-Based Scheduling. Applying Constraint Programming to Scheduling Problems. Kluwer Academics.
3. Barták, R. 2007. Constraint models for complex state transitions. Computer Assisted Mechanics and Engineering Sciences (CAMES) 14:543-555.
4. Choco. 2008. Choco User Guide. http:llchoco-solver.netl. Frank, J., and Jónsson, A. 2003. Constraint-Based Attribute and Interval Planning. Constraints 8(4):339-364.
5. Gecode. 2008. Gecode Reference Documentation. http://www.gecode.org/.
6. ILOG. 2008. ILOG CP 1.4 Reference Manual. Laborie, P., and Godard, D. 2007. Self-Adapting Large Neighborhood Search: Application to single-mode scheduling problems. In Proc. MISTA-07.
7. Laborie, P., and Rogerie, J. 2008. Reasoning with Conditional Time-intervals. In Proc. FL4IRS-08.
8. Laborie, P.; Rogerie, J.; Shaw, P.; Vilím, P.; and Wagner, F. 2008. ILOG CP Optimizer: Detailed Scheduling Model and OPL Formulation. Technical Report 08-002, ILOG. http://www2.ilog.com/techreports/.
9. Laborie, P. 2003. Resource Temporal Networks: Definition and Complexity. In Proc. IJCAI-03.
10. Laborie, P. 2009. ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems. Technical Report 09-002, ILOG. http://www2.ilog.com/ techreports/.
11. Policella, N.; Cesta, A.; Oddi, A.; and Smith, 5. 2004. Generating robust schedules through temporal flexibility. In Proc. ICAPS 04.
12. Vilím, P. 2007. Global Constraints in Scheduling. Ph.D. Dissertation, Charles University in Prague.