Christopher W. Brown | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Matthew England
37 publications
James H. Davenport
20 publications
Erika Ábrahám
15 publications
Jasper Nalbach
3 publications
Philippe Specht
1 publication
Philipp Bär
1 publication

research

∙ 06/29/2023

Exploiting Strict Constraints in the Cylindrical Algebraic Covering

One of the few available complete methods for checking the satisfiabilit...

0 Philipp Bär, et al. ∙

research

∙ 12/19/2022

Levelwise construction of a single cylindrical algebraic cell

Satisfiability Modulo Theories (SMT) solvers check the satisfiability of...

0 Jasper Nalbach, et al. ∙