Author: Pascal Fontaine

Author: Pascal Fontaine

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

A Catalog of SMT-LIB Benchmarks

A Catalog of SMT-LIB Benchmarks

Hans-Jörg Schurr, Mathias Preiner, Aina Niemetz, Clark Barrett, Pascal Fontaine and Cesare Tinelli

A Few Exercises on the Complexity of Congruence Closure with Cardinality Constraints

A Few Exercises on the Complexity of Congruence Closure with Cardinality Constraints

Ellen Dasnois and Pascal Fontaine

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: 8