Handbook of Automated Reasoning

The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2001-2018
012320012018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
This Isabelle/HOL formalization covers Sections 2 to 4 of Bachmair and Ganzinger’s “Resolution Theorem Proving” chapter in the… (More)
  • figure 1
Is this relevant?
2009
2009
Title Type automated deduction cade 22 22nd international conference on automated deduction montreal canada PDF automated… (More)
Is this relevant?
2009
2009
2009 This document contains the first part of the M2R course RAPA: Automated Reasoning: Principle and Applications. It presents… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • 2001
 
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper is a chapter of the Handbook of Automated Reasoning edited by Voronkov and Robinson. It describes techniques for… (More)
  • figure 1
  • figure 2
Is this relevant?
2001
2001
  • 2001
Preface Small volume provers and associated technology have been in use throughout the world by weights and measures… (More)
Is this relevant?