EasyChair Smart SlideDocs/Log in
Author: Ahmed Irfan

This page shows all presentations of this author published in EasyChair Smart Slide.

Arrays Reasoning in MCSat

Arrays Reasoning in MCSat

Ahmed Irfan and Stephane Graham-Lengrand

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

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

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri and Roberto Sebastiani

Presentations in this collection: 3
Copyright © 2002 – 2025 EasyChair