"4" . "Constraint Models for Complex State Transitions" . . . "Constraint Models for Complex State Transitions" . . "Constraint Models for Complex State Transitions"@en . . . . "Modely s podm\u00EDnkami pro komplexn\u00ED stavov\u00E9 p\u0159echody"@cs . "P(1M0545), P(GA201/07/0205), Z(MSM0021620838)" . "1232-308X" . "Modely s podm\u00EDnkami pro komplexn\u00ED stavov\u00E9 p\u0159echody"@cs . . . "14" . . "[4AE05A6E0EED]" . "RIV/00216208:11320/07:00004975!RIV08-MSM-11320___" . "13"^^ . "\u010Cl\u00E1nek porovn\u00E1v\u00E1 t\u0159i modely s podm\u00EDnkami pro popis komplexn\u00EDch stavov\u00FDch p\u0159echod\u016F un\u00E1rn\u00EDch zdroj\u016F v rozvrhovac\u00EDch probl\u00E9mech."@cs . "Constraint-based scheduling is an approach for solving real-life scheduling problems by combining the generality of AI techniques with the efficiency of OR techniques. Basically, it describes a scheduling problem as a constraint satisfaction problem and then uses constraint satisfaction techniques to find a solution. In this paper we study three constraint models describing complex state transitions that are going beyond the existing models of resources (machines) used in scheduling. These models can naturally handle any setup/changeover/transition scheme as well as special counter constraints imposed on the sequence of activities. The proposed models have been implemented and tested in the commercial scheduling engine of Visopt ShopFloor system."@en . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . . . "Constraint-based scheduling is an approach for solving real-life scheduling problems by combining the generality of AI techniques with the efficiency of OR techniques. Basically, it describes a scheduling problem as a constraint satisfaction problem and then uses constraint satisfaction techniques to find a solution. In this paper we study three constraint models describing complex state transitions that are going beyond the existing models of resources (machines) used in scheduling. These models can naturally handle any setup/changeover/transition scheme as well as special counter constraints imposed on the sequence of activities. The proposed models have been implemented and tested in the commercial scheduling engine of Visopt ShopFloor system." . "Computer Assisted Mechanics and Engineering Sciences" . . "543;555" . . "RIV/00216208:11320/07:00004975" . . . "Bart\u00E1k, Roman" . . . "1"^^ . . "414849" . "Constraint Models for Complex State Transitions"@en . "11320" . "Constraint; Models; Complex; State; Transitions"@en . "1"^^ .