SAT 2004 START ConferenceManager    


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

Alessandro Armando and Claudio Castellini and Enrico Giunchiglia and Marco Maratea

Presented at The Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), Vancouver, BC, Canada, 10-13 May 2004


Abstract

The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time systems. Efficient decision procedures for this class of formulas are, therefore, strongly needed. In this paper we present Tsat++, a SAT-based open reasoning platform able to decide boolean combinations of difference constraints. Experimental results indicate that Tsat++ outperforms its competitors both on randomly-generated, hand-made and real world problems.


  
START Conference Manager (V2.47.2)
Maintainer: rrgerber@softconf.com