Home

Teaching

Research

Personal

Research Interests     Publications     Benchmarks

• Computational logic, quantified Boolean formula, satisfiability
• Computer science education
• Data mining and intelligent systems
• Combinatorics and graph theory

UWG Disclaimer  Anja Remshagen Last modified: Jun 22, 2007