Optimal Length Resolution Refutations of Difference Constraint Systems

K. Subramani. Optimal Length Resolution Refutations of Difference Constraint Systems. Journal of Automated Reasoning, 43(2):121-137, 2009. [doi]

Abstract

Abstract is missing.