skip to content
 

Inference Algorithms

Presented by: 
Natarajan Shankar SRI International
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.




The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons