Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert. Some Progress in Satisfiability Checking for Difference Logic. In Yassine Lakhnech, Sergio Yovine, editors, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren. Volume 3253 of Lecture Notes in Computer Science, pages 263-276, Springer, 2004. [doi]
Abstract is missing.