Franz Brauße | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Konstantin Korovin
7 publications
Kunjian Song
2 publications
Norbert Th. Müller
2 publications
Rafael S. Menezes
2 publications
Zurab Khasidashvili
2 publications
Margarita Korovina
1 publication
Margarita V. Korovina
1 publication

research

∙ 08/10/2023

ESBMC v7.3: Model Checking C++ Programs using Clang AST

This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context...

0 Kunjian Song, et al. ∙

research

∙ 06/10/2021

Bayesian Optimisation with Formal Guarantees

Application domains of Bayesian optimization include optimizing black-bo...

0 Franz Brauße, et al. ∙

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