- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Deciding floating-point logic with abstract conflict driven clause learning ; volume:45 ; number:2 ; day:20 ; month:12 ; year:2013 ; pages:213-245 ; date:10.2014
Formal methods in system design ; 45, Heft 2 (20.12.2013), 213-245, 10.2014
- Creator
-
Brain, Martin
D’Silva, Vijay
Griggio, Alberto
Haller, Leopold
Kroening, Daniel
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-013-0203-7
- URN
-
urn:nbn:de:101:1-2019120102042032931627
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Brain, Martin
- D’Silva, Vijay
- Griggio, Alberto
- Haller, Leopold
- Kroening, Daniel
- SpringerLink (Online service)
Other Objects (12)
Deciding to distrust
Deciding orthogonal bisimulation
Operational semantics of resolution and productivity in Horn clause logic
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Horn clause specifications : a uniform framework for abstract data types and logic programming
On a notion of abduction and relevance for first-order logic clause sets
Deciding to distrust
Deciding orthogonal bisimulation
Operational semantics of resolution and productivity in Horn clause logic
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Horn clause specifications : a uniform framework for abstract data types and logic programming
On a notion of abduction and relevance for first-order logic clause sets
Deciding to distrust
Deciding orthogonal bisimulation
Operational semantics of resolution and productivity in Horn clause logic
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Horn clause specifications : a uniform framework for abstract data types and logic programming