Norbert Th. Müller | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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