Norbert Manthey | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Stefan Woltran
42 publications
Johannes K. Fichte
16 publications
Alessandro Ronca
7 publications
André Schidler
6 publications
Johannes P. Wallner
5 publications
Sarah A. Gaggl
3 publications
Julian Stecklina
3 publications

research

∙ 04/29/2020

Towards Faster Reasoners By Using Transparent Huge Pages

Various state-of-the-art automated reasoning (AR) tools are widely used ...

0 Johannes K. Fichte, et al. ∙

research

∙ 07/23/2015

Improved Answer-Set Programming Encodings for Abstract Argumentation

The design of efficient solutions for abstract argumentation problems is...

0 Sarah A. Gaggl, et al. ∙

research

∙ 08/31/2011

Coprocessor - a Standalone SAT Preprocessor

In this work a stand-alone preprocessor for SAT is presented that is abl...

0 Norbert Manthey, et al. ∙