EasyChair Smart SlideDocs/Log in
Author: Thomas Hader

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

An SMT-LIB Theory of Finite Fields

An SMT-LIB Theory of Finite Fields

Thomas Hader and Alex Ozdemir

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