EasyChair Smart SlideDocs/Log in
Author: Ahmed Irfan

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

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search

Enrico Lipparini, Thomas Hader, Ahmed Irfan and Stéphane Graham-Lengrand

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: 4
Copyright © 2002 – 2025 EasyChair