Constraint models for complex state transitions

Computer Assisted Mechanics and Engineering Sciences

Volumn 14, Issue 4, 2007, Pages 543-555

  Barták, Roman ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

Author keywords

Constraint satisfaction; Machine setups; Scheduling

Indexed keywords

CONSTRAINT THEORY; RESOURCE ALLOCATION; SCHEDULING;

COMPLEX STATE TRANSITIONS; CONSTRAINT SATISFACTION; MACHINE SETUPS; TRANSITION SCHEMES;

PROBLEM SOLVING;

EID: 37049036582     PISSN: 1232308X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. P. Baptiste, C. Le Pape, W. Nuijten. Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems. Kluwer Academic Publisher, 2001.
2. R. Barták. Conceptual models for combined planning and scheduling. Electronic Notes in Discrete Mathematics, Volume 4. Elsevier, 1999.
3. R. Barták. Dynamic constraint models for planning and scheduling problems. New Trends in Constraints. LNAI 1865, 237-255. Springer-Verlag, 2000.
4. R. Barták. A general relation constraint: an implementation. Proceedings of CP2000 Post-Workshop on Techniques for Implementing Constraint Programming Systems, 30-40, 2000.
5. R. Barták. Filtering algorithms for tabular constraints. Proceedings of CP2001 Workshop CICLOPS, 168-182, 2001.
6. R. Barták. Visopt ShopFloor: On the edge of planning and scheduling. Principles and Practice of Constraint Programming - CP2002. LNCS 2470, 587-602. Springer-Verlag, 2002.
7. R. Barták. Modelling resource transitions in constraint-based scheduling. Proceedings of SOFSEM 2002: Theory and Practice of Informatics. LNCS 2540, 186-194. Springer-Verlag, 2002.
8. J. Ch. Beck, M.S. Fox. Scheduling alternative activities. Proceedings of AAAI-99, 680-687. AAAI Press, 1999.
9. P. Brucker. Scheduling Algorithms. Springer-Verlag, 2001.
10. V. Brusoni, L. Console, E. Lamina, P. Mello, M. Milano, P. Terenziani. Resource-based vs. task-based approaches for scheduling problems. Proceedings of the 9th ISMIS96. LNCS Series, Springer-Verlag, 1996.
11. M. Carlsson, G. Ottosson, B. Carlson. An open-ended finite domain constraint solver. Proceedings Programming Languages: Implementations, Logics, and Programs, 1997.
12. R. Dechter. Constraint Processing. Morgan Kaufmann, 2003.