Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (1996)

by M Koubarakis
Venue:In Proc. 2nd Int. Conf. Principles and Practice of Constraint Programming, LNCS 1118