Incremental Satisfiability and Implication for UTVPI Constraints

Andreas Schutt, Peter J. Stuckey

Abstract: Unit two-variable-per-inequality (UTVPI) constraints form one of the largest class of integer constraints that are polynomial time solvable (unless P = NP). There is considerable interest in their ...