বিষয়বস্তু এড়িয়ে যান
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
ভাষা
সমস্ত ক্ষেত্রসমূহ
আখ্যা
লেখক
বিষয়
ডাক সংখ্যা
আইসবিএন/আইএসএসএন
ট্যাগ
অনুসন্ধান
বিস্তৃত
Deciding floating−point logic...
সাইট করুন
এই পাঠটি
এই ই-মেইলটি
মুদ্রণ
নথি এক্সপোর্ট করুন
এক্সপোর্ট করুন RefWorks
এক্সপোর্ট করুন EndNoteWeb
এক্সপোর্ট করুন EndNote
স্থায়ী লিঙ্ক
Deciding floating−point logic with abstract conflict driven clause learning
অন্যান্য সংস্করণ প্রদর্শন করুন (1)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:
Brain, M
,
D’Silva, V
,
Griggio, A
,
Haller, L
,
Kroening, D
বিন্যাস:
Journal article
প্রকাশিত:
2013
হোল্ডিংস
বিবরন
অন্যান্য সংস্করণ (1)
অনুরূপ উপাদানগুলি
স্টাফেদের বিবরণ দেখুন
অনুরূপ উপাদানগুলি
Deciding floating-point logic with abstract conflict driven clause learning
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2014)
Deciding Floating−Point Logic with Systematic Abstraction
অনুযায়ী: Haller, L, অন্যান্য
প্রকাশিত: (2012)
Interpolation−based verification of floating−point programs with abstract CDCL
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Interpolation-based verification of floating-point programs with abstract CDCL
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Abstract conflict driven learning.
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2013)
Abstract Conflict Driven Learning
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2013)
An Abstract Interpretation of DPLL(T)
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
An abstract interpretation of DPLL(T)
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Numeric bounds analysis with conflict-driven learning
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2012)
Deciding Bit−Vector Arithmetic with Abstraction
অনুযায়ী: Bryant, R, অন্যান্য
প্রকাশিত: (2007)
Abstract Satisfaction
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2014)
Logical abstract interpretation
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2013)
Integrating Conflict Driven Clause Learning to Local Search
অনুযায়ী: Gilles Audenard, অন্যান্য
প্রকাশিত: (2009-10-01)
Abstraction of Syntax
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2013)
On the decidability of Metric Temporal Logic
অনুযায়ী: Ouaknine, J, অন্যান্য
প্রকাশিত: (2005)
On decidability of pure hybrid logic
অনুযায়ী: Stanislovas Norgėla
প্রকাশিত: (2012-12-01)
Initial limit Datalog: a new extensible class of decidable constrained Horn clauses
অনুযায়ী: Cathcart Burn, T, অন্যান্য
প্রকাশিত: (2021)
The logical strength of Büchi's decidability theorem
অনুযায়ী: Kolodziejczyk, L, অন্যান্য
প্রকাশিত: (2019)
The logical strength of Büchi's decidability theorem
অনুযায়ী: Kolodziejczyk, L, অন্যান্য
প্রকাশিত: (2016)
Characterizing definability in decidable fixpoint logics
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2017)
Fullness and Decidability in Continuous Propositional Logic
অনুযায়ী: Xuanzhi Ren
প্রকাশিত: (2022-11-01)
Deciding KAT and Hoare Logic with Derivatives
অনুযায়ী: Ricardo Almeida, অন্যান্য
প্রকাশিত: (2012-10-01)
Fixed points for multi-cycle path detection
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2009)
Fixed Points in Multi−Cycle Path Detection
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2015)
Classical propositional logic and decidability of variables in intuitionistic propositional logic
অনুযায়ী: Hajime Ishihara
প্রকাশিত: (2014-08-01)
Deciding expressive description logics in the framework of resolution.
অনুযায়ী: Hustadt, U, অন্যান্য
প্রকাশিত: (2008)
Definability and interpolation within decidable fixpoint logics
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2019)
Safety metric temporal logic is fully decidable
অনুযায়ী: Ouaknine, J, অন্যান্য
প্রকাশিত: (2006)
On decidability of a fragment of intuitionistic predicate logic
অনুযায়ী: Jolanta Kaušilaitė, অন্যান্য
প্রকাশিত: (1999-12-01)
Some decidable classes of modal logic S5
অনুযায়ী: Stasys Norgėla
প্রকাশিত: (1999-12-01)
The logical strength of B\"uchi's decidability theorem
অনুযায়ী: Leszek Kołodziejczyk, অন্যান্য
প্রকাশিত: (2019-05-01)
Definability and Interpolation within Decidable Fixpoint Logics
অনুযায়ী: Michael Benedikt, অন্যান্য
প্রকাশিত: (2019-09-01)
Decidability Preservation and Complexity Bounds for Combined Logics
অনুযায়ী: Carlos Caleiro, অন্যান্য
প্রকাশিত: (2022-09-01)
Proving the Decidability of the PDLxPDL Product Logic
অনুযায়ী: P. Balbiani, অন্যান্য
প্রকাশিত: (2009-07-01)
Building better bit-blasting for floating-point problems
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2019)
Invertibility conditions for floating-point formulas
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2019)
The Limits of Decidability for First Order Logic on CPDA Graphs
অনুযায়ী: Broadbent, C
প্রকাশিত: (2012)
On the decidability of monadic second-order logic with arithmetic predicates
অনুযায়ী: Berthé, V, অন্যান্য
প্রকাশিত: (2024)
Decidability of graph neural networks via logical characterizations
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2024)
A step up in expressiveness of decidable fixpoint logics
অনুযায়ী: Boom, M, অন্যান্য
প্রকাশিত: (2016)
প্রাকদর্শন
পরবর্তী
অনুরূপ উপাদানগুলি
Deciding floating-point logic with abstract conflict driven clause learning
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2014)
Deciding Floating−Point Logic with Systematic Abstraction
অনুযায়ী: Haller, L, অন্যান্য
প্রকাশিত: (2012)
Interpolation−based verification of floating−point programs with abstract CDCL
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Interpolation-based verification of floating-point programs with abstract CDCL
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Abstract conflict driven learning.
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2013)