Algorithms and Complexity of Difference Logic

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak +1

Difference Logic (DL) is a fragment of linear arithmetics where atoms are constraints x+k <= y for variables x,y (ranging over Q or Z) and integer k. We study the complexity of dec…