A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea

Browse the full SAT paper archive.