Modeling adversary scheduling with QCSP

Marco Benedetti, Arnaud Lallouet, Jrmie Vautard

Browse the full SAC paper archive.