Talks

2018

Practical SMT Session (SAT/SMT/AR Summer School 2018)

2017

Counterexample-Guided Model Synthesis

Counterexample-Guided Model Synthesis

2016

Counterexample-Guided Model Synthesis for Quantified Bit-Vectors

2015

Better Lemmas with Lambda Extraction

2013

Lemmas on Demand for Lambdas

2012

Scalable Certificate Extraction for QBF