EasyChair Smart SlideDocs/Log in
Author: Pascal Fontaine

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

SMT-LIB Report

SMT-LIB Report

Clark Barrett, Pascal Fontaine and Cesare Tinelli

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates

Bernard Boigelot, Pascal Fontaine and Baptiste Vergain

Quantifier handling in SMT

Quantifier handling in SMT

Pascal Fontaine

Higher-Order SMT Solving

Higher-Order SMT Solving

Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui and Cesare Tinelli

Revisiting Enumerative Instantiation

Revisiting Enumerative Instantiation

Andrew Reynolds, Haniel Barbosa and Pascal Fontaine

EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To and Xuan Tung Vu

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair