Automated Deduction – CADE-24 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642385735, 9783642385742
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

System Description: E-KRHyper 1.4

2013 ◽  
pp. 126-134 ◽  
Author(s):  
Markus Bender ◽  
Björn Pelzer ◽  
Claudia Schon
Keyword(s):  
System Description

dReal: An SMT Solver for Nonlinear Theories over the Reals

2013 ◽  
pp. 208-214 ◽  
Author(s):  
Sicun Gao ◽  
Soonho Kong ◽  
Edmund M. Clarke
Keyword(s):  
Smt Solver

scholarly journals Completeness and Decidability Results for First-Order Clauses with Indices

2013 ◽  
pp. 58-75 ◽  
Author(s):  
Abdelkader Kersani ◽  
Nicolas Peltier
Keyword(s):  
First Order

scholarly journals InKreSAT: Modal Reasoning via Incremental Reduction to SAT

2013 ◽  
pp. 436-442 ◽  
Author(s):  
Mark Kaminski ◽  
Tobias Tebbi
Keyword(s):  
Modal Reasoning

Automated Reasoning, Fast and Slow

2013 ◽  
pp. 145-161 ◽  
Author(s):  
Natarajan Shankar
Keyword(s):  
Automated Reasoning

Computing Tiny Clause Normal Forms

2013 ◽  
pp. 109-125 ◽  
Author(s):  
Noran Azmy ◽  
Christoph Weidenbach
Keyword(s):  
Normal Forms

Towards Modularly Comparing Programs Using Automated Theorem Provers

2013 ◽  
pp. 282-299 ◽  
Author(s):  
Chris Hawblitzel ◽  
Ming Kawaguchi ◽  
Shuvendu K. Lahiri ◽  
Henrique Rebêlo
Keyword(s):  
Theorem Provers

Hierarchical Combination

2013 ◽  
pp. 249-266 ◽  
Author(s):  
Serdar Erbatur ◽  
Deepak Kapur ◽  
Andrew M. Marshall ◽  
Paliath Narendran ◽  
Christophe Ringeissen
Load More ...
Sign in / Sign up

Export Citation Format

Share Document