Institute of Theoretical Informatics, Algorithm Engineering

Efficient and Scalable Applications of Logic

  • Subject:Parallel and distributed algorithms, SAT Solving, automated planning
  • Type:Bachelor-/Masterarbeit
  • Supervisor:

    Dominik Schreiber

Description

Within the broad topic of efficient and scalable applications for (propositional) logical reasoning, changing topics are available on request in the following areas:

  • High Performance SAT Solving
  • "Malleabilization" of applications with combinatorial search space
  • Hierarchical Automated Planning

Details are provided in the PDF linked above.