skip to content

Inference Algorithms

Presented by: 
Natarajan Shankar
Monday 3rd July 2017 - 16:30 to 17:30
INI Seminar Room 2
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