Some Progress in Satisfiability Checking for Difference Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Some Progress in Satisfiability Checking for Difference Logic

Scott Cotton
  • Fonction : Auteur
  • PersonId : 840902
Oded Maler
  • Fonction : Auteur
  • PersonId : 840888

Résumé

In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integration of the incremental analysis of numerical conflicts with the process of Boolean conflict analysis. This and other improvements lead to significant performance gains for some classes of problems.

Domaines

Autre [cs.OH]

Dates et versions

hal-00157566 , version 1 (26-06-2007)

Identifiants

Citer

Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert. Some Progress in Satisfiability Checking for Difference Logic. Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, 2004, Grenoble, France. pp.263-276, ⟨10.1007/b100824⟩. ⟨hal-00157566⟩
90 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More