Gereon Kremer | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Matthew England
37 publications
James H. Davenport
20 publications
Erika Ábrahám
15 publications
James Davenport
5 publications
Zak Tonks
3 publications
Erika {Á}brahám
1 publication

research

∙ 09/03/2021

On the proof complexity of MCSAT

Satisfiability Modulo Theories (SMT) and SAT solvers are critical compon...

0 Gereon Kremer, et al. ∙

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...

0 Erika Ábrahám, et al. ∙

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...

0 Erika {Á}brahám, et al. ∙

research

∙ 03/12/2020

Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings

We present a new algorithm for determining the satisfiability of conjunc...

0 Erika Ábrahám, et al. ∙