Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification.

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Jorke M. de Vlas

Browse the full KR paper archive.