From Declarative Model to Solution: Scheduling Scenario Synthesis

Bruno Blaskovic, Mirko Randic

This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations. First, declarative model for schedu…