Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE

Source URL: www.cs.man.ac.uk

• Computational complexity theory
• Conflict-driven clause learning
• Drat
• Exponential time hypothesis
• Felgenhauer
• NP-complete problems

This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck

Source URL: www.cs.man.ac.uk

• Drat
• Conjunctive normal form
• Constraint programming
• Theoretical computer science
• NP-complete problems
• Logic in computer science

IWC 2017 6th International Workshop on Confluence Proceedings Editors: Beniamino Accattoli & Bertram Felgenhauer

Source URL: cl-informatik.uibk.ac.at

Aspects of Layer Systems in IsaFoR* Bertram Felgenhauer and Franziska Rapp University of Innsbruck 6th International Workshop on Confluence Oxford,

Source URL: cl-informatik.uibk.ac.at

Aspects of Layer Systems in IsaFoR∗ Bertram Felgenhauer and Franziska Rapp Department of Computer Science, University of Innsbruck, Austria {bertram.felgenhauer|franziska.rapp}@uibk.ac.at Abstract We report on an ongoi

Source URL: cl-informatik.uibk.ac.at

Antidotarium Florian Eyer, Norbert Felgenhauer in Zusammenarbeit mit der Gesellschaft für klinische Toxikologie (GfKT) INDIKATIONSLISTE Indikation Alkylphosphate

Source URL: online.rote-liste.de

Mathematics of Sudoku I Bertram Felgenhauer Frazer Jarvis∗ January 25, 2006 Introduction

Source URL: www.afjarvis.staff.shef.ac.uk

• Sudoku
• NP-complete problems
• Latin squares
• Mathematics of Sudoku
• Grid plan
• Sudoku algorithms
• Mathematics
• Recreational mathematics
• Logic puzzles