This page shows all presentations of this author published in EasyChair Smart Slide.
Arrays Reasoning in MCSat
Ahmed Irfan and Stephane Graham-Lengrand
Smt-Switch: a Solver-agnostic C++ API for SMT Solving
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri and Roberto Sebastiani