Alexander Nutz | DeepAI

DeepAI

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

Featured Co-authors

Jochen Hoenicke
6 publications
Daniel Dietsch
3 publications
Matthias Heizmann
3 publications
Andreas Podelski
3 publications

research

∙ 07/09/2019

Ultimate TreeAutomizer (CHC-COMP Tool Description)

We present Ultimate TreeAutomizer, a solver for satisfiability of sets o...

0 Daniel Dietsch, et al. ∙

research

∙ 01/07/2019

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages

In theorem prover or SMT solver based verification, the program to be ve...

0 Daniel Dietsch, et al. ∙