Norbert Th. Müller | DeepAI

DeepAI

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

Featured Co-authors

Konstantin Korovin
7 publications
Franz Brauße
4 publications
Margarita Korovina
1 publication
Margarita V. Korovina
1 publication

research

∙ 04/27/2021

The ksmt calculus is a δ-complete decision procedure for non-linear constraints

ksmt is a CDCL-style calculus for solving non-linear constraints over re...

0 Franz Brauße, et al. ∙

research

∙ 05/22/2019

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of...

0 Franz Brauße, et al. ∙