Incremental Satisfiability and Implication for UTVPI Constraints

Andreas Schutt, Peter J. Stuckey

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