Defensio, Master Thesis, University of Innsbruck, IMPLEMENTATION & EVALUATION OF THE KNOWLEDGE ELEMENT PREPARATION MODEL RESEARCH OBJECTIVE

Source URL: www.maria-a-schett.net

From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Graph theory
• Formal languages
• Logic in computer science
• Graph rewriting
• Mathematical logic
• Rewriting
• Graph
• KnuthBendix completion algorithm
• Abstract semantic graph
• Tree

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

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

From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Theoretical computer science
• Mathematical logic
• Graph
• Rewriting
• Kruskal's tree theorem

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

PDF Document

Source URL: www.schlossambras-innsbruck.at

PDF Document

Source URL: www.schlossambras-innsbruck.at

PDF Document

Source URL: www.schlossambras-innsbruck.at

PDF Document

Source URL: innsbruck-tirol2018.com.dedi3809.your-server.de