Talks

2018

From Local Search to Quantifier-Elimination for Bit-Vectors in SMT
Aug 31, 2018
Practical SMT Session (SAT/SMT/AR Summer School 2018)
Jul 4, 2018

2017

Model-Based API Testing for SMT Solvers
Jul 22, 2017

2016

Precise and Complete Propagation-Based Local Search for Satisfiability Modulo Theories
Jul 20, 2016

2015

Improving Local Search for Bit-Vector Logics with Path Propagation
Sep 26, 2015

2014

Turbo Charging Lemmas on Demand with Don't Care Reasoning
Oct 23, 2014

2013

ddSMT: A Delta Debugger for the SMT-LIB v2 Format
Jul 8, 2013

2012

Resolution-Based Certificate Extraction for QBF (Tool Presentation)
Jul 17, 2012