Marco Benedetti Arnaud Lallouet Jérémie Vautard Modeling adversary scheduling with QCSP<sup>+</sup>. 151-155 2008 SAC http://doi.acm.org/10.1145/1363686.1363727 conf/sac/2008 db/conf/sac/sac2008.html#BenedettiLV08