Markus Iser | DeepAI

DeepAI

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

Featured Co-authors

Tobias Heuer
10 publications
Carsten Sinz
6 publications
Luca Springer
1 publication
Thomas Oltmann
1 publication
Tim Holzenkamp
1 publication
Kevin Kuryshev
1 publication
Lucas Wäldele
1 publication
Johann Zuber
1 publication

research

∙ 09/13/2022

SATViz: Real-Time Visualization of Clausal Proofs

Visual layouts of graphs representing SAT instances can highlight the co...

0 Tim Holzenkamp, et al. ∙

research

∙ 09/07/2020

Collaborative Management of Benchmark Instances and their Attributes

Experimental evaluation is an integral part in the design process of alg...

0 Markus Iser, et al. ∙