Christoph Scholl | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ralf Wimmer
7 publications
Bernd Becker
6 publications
Tobias Paxian
1 publication
Aile Ge-Ernst
1 publication
Tobias Seufert
1 publication
Felix Winterer
1 publication
Karsten Scheibler
1 publication

research

∙ 05/19/2021

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

In this paper we revisit the topic of generalizing proof obligations in ...

0 Tobias Seufert, et al. ∙

research

∙ 05/12/2019

Quantifier Localization for DQBF

Dependency quantified Boolean formulas (DQBFs) are a powerful formalism,...

0 Aile Ge-Ernst, et al. ∙