TY - RPRT TI - From Declarative Model to Solution: Scheduling Scenario Synthesis AU - Bruno Blaskovic AU - Mirko Randic PY - 2013 UR - https://arxiv.org/abs/1304.3716 ID - 1304.3716 ER -