skip to content
 

Inference Algorithms

Presented by: 
Natarajan Shankar
Date: 
Monday 3rd July 2017 - 16:30 to 17:30
Venue: 
INI Seminar Room 2
Abstract: 
Johannes Holzl will present a short talk on Automation in Isabelle's Analysis. Natarajan Shankar will  present an overview of some basic inference algorithms used in SAT
and SMT solving, and in theorem proving.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons