Jaroslaw Byrka Andreas Karrenbauer Laura Sanità The interval constrained 3-coloring problem http://arxiv.org/abs/0907.3563 2009 CoRR abs/0907.3563 db/journals/corr/corr0907.html#abs-0907-3563 informal publication