Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
From Software to Hardware and Back Read chapter Read first chapter

2004 | OriginalPaper | Chapter

Some Progress in Satisfiability Checking for Difference Logic

Authors : Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert

Published in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

previous chapter Bounded Model Checking for Region Automata
next chapter Model-Checking for Weighted Timed Automata
Metadata
Title
Some Progress in Satisfiability Checking for Difference Logic
Authors
Scott Cotton
Eugene Asarin
Oded Maler
Peter Niebert
Copyright Year
2004
Publisher
Springer Berlin Heidelberg
Book
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Print ISBN: 978-3-540-23167-7

Electronic ISBN: 978-3-540-30206-3

Copyright Year: 2004

DOI
https://doi.org/10.1007/978-3-540-30206-3_19

Premium Partner

    Image Credits