Search Results for author: Norbert Manthey

Found 2 papers, 1 papers with code

Towards Faster Reasoners By Using Transparent Huge Pages

2 code implementations29 Apr 2020 Johannes K. Fichte, Norbert Manthey, Julian Stecklina, André Schidler

Huge pages allow to reduce the overhead that is required to translate memory addresses between the virtual memory of the operating system and the physical memory of the hardware.

Management

Improved Answer-Set Programming Encodings for Abstract Argumentation

no code implementations23 Jul 2015 Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems.

Abstract Argumentation

Cannot find the paper you are looking for? You can Submit a new open access paper.