Deciding floating−point logic with abstract conflict driven clause learning

Deciding floating−point logic with abstract conflict driven clause learning

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2013

Benzer Materyaller

Deciding floating-point logic with abstract conflict driven clause learning
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Deciding Floating−Point Logic with Systematic Abstraction
Yazar:: Haller, L, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Interpolation−based verification of floating−point programs with abstract CDCL
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Abstract conflict driven learning.
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Abstract Conflict Driven Learning
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

An Abstract Interpretation of DPLL(T)
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

An abstract interpretation of DPLL(T)
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Numeric bounds analysis with conflict-driven learning
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Deciding Bit−Vector Arithmetic with Abstraction
Yazar:: Bryant, R, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Abstract Satisfaction
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Logical abstract interpretation
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Integrating Conflict Driven Clause Learning to Local Search
Yazar:: Gilles Audenard, ve diğerleri
Baskı/Yayın Bilgisi: (2009-10-01)

Abstraction of Syntax
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

On the decidability of Metric Temporal Logic
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

On decidability of pure hybrid logic
Yazar:: Stanislovas Norgėla
Baskı/Yayın Bilgisi: (2012-12-01)

Initial limit Datalog: a new extensible class of decidable constrained Horn clauses
Yazar:: Cathcart Burn, T, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

The logical strength of Büchi's decidability theorem
Yazar:: Kolodziejczyk, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

The logical strength of Büchi's decidability theorem
Yazar:: Kolodziejczyk, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Characterizing definability in decidable fixpoint logics
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Fullness and Decidability in Continuous Propositional Logic
Yazar:: Xuanzhi Ren
Baskı/Yayın Bilgisi: (2022-11-01)

Deciding KAT and Hoare Logic with Derivatives
Yazar:: Ricardo Almeida, ve diğerleri
Baskı/Yayın Bilgisi: (2012-10-01)

Fixed points for multi-cycle path detection
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Fixed Points in Multi−Cycle Path Detection
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
Yazar:: Hajime Ishihara
Baskı/Yayın Bilgisi: (2014-08-01)

Deciding expressive description logics in the framework of resolution.
Yazar:: Hustadt, U, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Definability and interpolation within decidable fixpoint logics
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Safety metric temporal logic is fully decidable
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

On decidability of a fragment of intuitionistic predicate logic
Yazar:: Jolanta Kaušilaitė, ve diğerleri
Baskı/Yayın Bilgisi: (1999-12-01)

Some decidable classes of modal logic S5
Yazar:: Stasys Norgėla
Baskı/Yayın Bilgisi: (1999-12-01)

The logical strength of B\"uchi's decidability theorem
Yazar:: Leszek Kołodziejczyk, ve diğerleri
Baskı/Yayın Bilgisi: (2019-05-01)

Definability and Interpolation within Decidable Fixpoint Logics
Yazar:: Michael Benedikt, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

Decidability Preservation and Complexity Bounds for Combined Logics
Yazar:: Carlos Caleiro, ve diğerleri
Baskı/Yayın Bilgisi: (2022-09-01)

Proving the Decidability of the PDLxPDL Product Logic
Yazar:: P. Balbiani, ve diğerleri
Baskı/Yayın Bilgisi: (2009-07-01)

Building better bit-blasting for floating-point problems
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Invertibility conditions for floating-point formulas
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

The Limits of Decidability for First Order Logic on CPDA Graphs
Yazar:: Broadbent, C
Baskı/Yayın Bilgisi: (2012)

On the decidability of monadic second-order logic with arithmetic predicates
Yazar:: Berthé, V, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Decidability of graph neural networks via logical characterizations
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

A step up in expressiveness of decidable fixpoint logics
Yazar:: Boom, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)