research
∙
09/03/2021
On the proof complexity of MCSAT
Satisfiability Modulo Theories (SMT) and SAT solvers are critical compon...
share
research
∙
08/11/2021
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
We discuss the topic of unsatisfiability proofs in SMT, particularly wit...
research
∙
04/08/2020
New Opportunities for the Formal Proof of Computational Real Geometry?
The purpose of this paper is to explore the question "to what extent cou...
research
∙
03/12/2020