English

Global SPACING Constraint (Technical Report)

Logic in Computer Science 2013-03-26 v1

Abstract

We propose a new global SPACING constraint that is useful in modeling events that are distributed over time, like learning units scheduled over a study program or repeated patterns in music compositions. First, we investigate theoretical properties of the constraint and identify tractable special cases. We propose efficient DC filtering algorithms for these cases. Then, we experimentally evaluate performance of the proposed algorithms on a music composition problem and demonstrate that our filtering algorithms outperform the state-of-the-art approach for solving this problem.

Keywords

Cite

@article{arxiv.1303.6107,
  title  = {Global SPACING Constraint (Technical Report)},
  author = {Nina Narodytska and Peter Skocovsky and Toby Walsh},
  journal= {arXiv preprint arXiv:1303.6107},
  year   = {2013}
}
R2 v1 2026-06-21T23:47:38.610Z