A Unified Framework for DPLL(T) + Certificates

A Unified Framework for DPLL(T) + Certificates

Satisfiability Modulo Theories (SMT) techniques are widely used nowadays. SMT solvers are typically used as verification backends. When an SMT solver is invoked, it is quite important to ensure the correctness of its results. To address this problem, we propose a unified certificate framework based...

Full description

Bibliographic Details
Main Authors:	Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
Format:	Article
Language:	English
Published:	Hindawi Limited 2013-01-01
Series:	Journal of Applied Mathematics
Online Access:	http://dx.doi.org/10.1155/2013/964682

Similar Items

An implementation of the DPLL algorithm
by: Ahmed, Tanbir
Published: (2009)

Verifying the DPLL Algorithm in Dafny
by: Cezar-Constantin Andrici, et al.
Published: (2019-09-01)

A linearized DPLL calculus with learning
by: Arnold, Holger
Published: (2007)

A Verified Implementation of the DPLL Algorithm in Dafny†
by: Andrici, C.-C, et al.
Published: (2022)

A Parallelized Phase-Frequency Detector based Modified LSPF-DPLL for Wireless Communication – Comparative Study with Modified LSPF-DPLL
by: Bhattacharyya Sabyasachi, et al.
Published: (2016-01-01)

Soft Computing Approaches to DPLL SAT Solver Optimization
by: Kibria, Raihan Hassnain
Published: (2011)

DPLL system design with quantitative analysis of some phase detectors
by: CHEN, YUN-LONG, et al.
Published: (1986)

A Fuzzy Rule-based DPLL for Maximum Likelihood Phase Estimation in Signal Transmission
by: Ming-Ta Liu, et al.
Published: (1995)

A linearized DPLL calculus with clause learning (2nd, revised version)
by: Arnold, Holger
Published: (2009)

Digital sinlock loop:a new DPLL for demodulation of N-ary PSK signals
by: Shu-Fa Yang, et al.
Published: (1994)

Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle
by: Rahmoune, Nabila
Published: (2006)

A smart DPLL for robust carrier tracking systems using uncertain rule-based IT2 fuzzy controllers
by: Mohieddin Moradi, et al.
Published: (2020-08-01)

Unified Certification of Quantified Boolean Formula Evaluation
by: Valeriy Balabanov, et al.
Published: (2011)

A BCH code assisted modified NCO based LSPF-DPLL topology for Nakagami-m, Rayleigh and Rician fading channels
by: Sabyasachi Bhattacharyya, et al.
Published: (2019-05-01)

Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade
by: Romanelli Lodron Zuim
Published: (2007)

A unified learning framework for
by: K. Seetharaman, et al.
Published: (2016-01-01)

Photo Certificate – A Framework for Generating Visualized Public Key Certificates
by: Chien-Chen Huang, et al.
Published: (2008)

WPKI Certificate Verification Scheme Based on Certificate Digest Signature-Online Certificate Status Protocol
by: Ke Gu, et al.
Published: (2018-01-01)

UnifyDR: A Generic Framework for Unifying Data and Replica Placement
by: Ankita Atrey, et al.
Published: (2020-01-01)

The Unifying Frameworks of Information Measures
by: Shiwei Yu, et al.
Published: (2018-01-01)

A unified framework of the cloud computing service model
by: Chao-Ming Hsiao, et al.
Published: (2012)

A Unified Framework for Predicting KPIs of On-Demand Transport Services
by: Jihong Guan, et al.
Published: (2018-01-01)

A Unified Optimization Framework for Electronic Design Automation
by: Shao-Ming Yu, et al.
Published: (2007)

A framework for unified Dirac gauginos
by: Benakli Karim
Published: (2017-01-01)

Squeezing metrology: a unified framework
by: Lorenzo Maccone, et al.
Published: (2020-07-01)

A unified framework of demographic time
by: Tim Riffe, et al.
Published: (2017-08-01)

A unified framework for spline estimators
by: Schwarz, Katsiaryna
Published: (2013)

A Unified framework for spacecraft operations
by: Verrier, David
Published: (2006)

A unified framework for spacecraft operations
by: Verrier, David
Published: (2001)

A Unified Robust Minimax Framework for Regularized Learning Problems
by: Zhou, Hongbo
Published: (2014)

Toward a unified theoretical framework for photogrammetry
by: Jie Shan, et al.
Published: (2020-01-01)

Employment of certificated personnel of ethnic minority groups in Stockton Unified School District, 1947 to 1962
by: Sandelius, Stanley Earl
Published: (1963)

A Unified Software Framework for Empirical Gramians
by: Christian Himpe, et al.
Published: (2013-01-01)

A Unified Algebraic Framework for Non-Monotonicity
by: Nourhan Ehab, et al.
Published: (2019-07-01)

A unifying theoretical framework for clinical psychology
by: Liane Leedom
Published: (2018-12-01)

Thermogeometric phase transition in a unified framework
by: Rabin Banerjee, et al.
Published: (2017-04-01)

A Unified Theoretical Framework for Cognitive Sequencing
by: Tejas Savalia, et al.
Published: (2016-11-01)

A unified framework for linear network coding.
Published: (2008)

A unified framework for scheduling and storage optimization
by: Thies, William Frederick, 1978-
Published: (2014)

A Kernelized Unified Framework for Domain Adaptation
by: Rakesh Kumar Sanodiya, et al.
Published: (2019-01-01)