Amanote Research
Register
Sign In
Efficient Extraction of Skolem Functions From QRAT Proofs
doi 10.1109/fmcad.2014.6987602
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2014
Authors
Marijn J. H. Heule
Martina Seidl
Armin Biere
Publisher
IEEE
Related search
Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
On New Proofs of Wilker's Inequalities Involving Trigonometric Functions
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
New Proofs of Some Theorems on Infinitely Differentiable Functions
Bulletin of the Australian Mathematical Society
Mathematics
Undecidable Extensions of Skolem Arithmetic
Journal of Symbolic Logic
Philosophy
Logic
New Proofs of Schur-Concavity for a Class of Symmetric Functions
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
From Tests to Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computing Bounds From Arithmetical Proofs
An Efficient Approach to Informative Feature Extraction From Multimodal Data
Proceedings of the AAAI Conference on Artificial Intelligence
Efficient Certification and Zero-Knowledge Proofs of Knowledge on Infrastructure Topology Graphs
