@misc{indiciaec2db295cf851,
  title = {From Declarative Model to Solution: Scheduling Scenario Synthesis},
  author = {Bruno Blaskovic and Mirko Randic},
  year = {2013},
  url = {https://arxiv.org/abs/1304.3716},
  note = {Source identifier: 1304.3716}
}