Constraint-based modeling of discrete event dynamic systems
- 11 November 2008
- journal article
- research article
- Published by Springer Science and Business Media LLC in Journal of Intelligent Manufacturing
- Vol. 21 (1), 31-47
- https://doi.org/10.1007/s10845-008-0176-3
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- PDDL2.1: An Extension to PDDL for Expressing Temporal Planning DomainsJournal of Artificial Intelligence Research, 2003
- The synchronous languages 12 years laterProceedings of the IEEE, 2003
- Constraint-Based Attribute and Interval PlanningConstraints, 2003
- Solving Mixed and Conditional Constraint Satisfaction ProblemsConstraints, 2003
- Bounded Model Checking Using Satisfiability SolvingFormal Methods in System Design, 2001
- Constraint-Based SchedulingPublished by Springer Science and Business Media LLC ,2001
- Bucket elimination: A unifying framework for reasoningArtificial Intelligence, 1999
- A theory of timed automataTheoretical Computer Science, 1994
- Temporal constraint networksArtificial Intelligence, 1991
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1972