Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Scheduling alternative activities
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Resource-Based vs. Task-Based Approaches for Scheduling Problems
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Dynamic Constraint Models for Planning and Scheduling Problems
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Modelling Resource Transitions in Constraint-Based Scheduling
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Visopt shopfloor: going beyond traditional scheduling
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
The Knowledge Engineering Review
Computers and Operations Research
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
MAK₠: a system for modelling, optimising, and analyzing production in small and medium enterprises
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Hi-index | 0.00 |
Visopt ShopFloor is a complete system for solving real-life scheduling problems in complex industries. In particular, the system is intended to problem areas where traditional scheduling methods failed. In the paper we describe the heart of the Visopt system, a generic scheduling engine. This engine goes beyond traditional scheduling by offering some planning capabilities. We achieved this integrated behaviour by applying Constraint Logic Programming in a less standard way - the definition of a constraint model is dynamic and introduction of constraints interleaves with search.