Baptiste Vergain

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Finite State Automata

Quantifier Free

Logical Formulas

Constraint Databases

Top Venues

SC-Square@SIAM AG

Publications

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. CADE (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
First-Order Quantification over Automata. CoRR (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Universal First-Order Quantification over Automata. CIAA (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. CoRR (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of difference logics with unary predicates. SC-Square@FLoC (2022)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). SC-Square@SIAM AG (2021)