181.190 Problem Solving and Search in Artificial Intelligence
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023S, VU, 2.0h, 3.0EC
TUWELQuinn ECTS Erhebung


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz


Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

After successful completion of the course, students are able to:

  • Develop and apply uninformed and informed search methods
  • Design and implement (meta)heuristic methods for various problems
  • Model problems with constraint programming (CP) modeling languages and SAT
  • Use CP/SAT for solving various problems
  • Understand concepts regarding tree/hypertree decompositions and be able to use (hyper)tree decompositions in problem solving
  • Explain methods that are used for automated algorithm configuration and algorithm selection
  • Apply automated algorithm selection and configuration for various problems/algorithms

Inhalt der Lehrveranstaltung


  • Basic Concepts
  • Uninformed Search Strategies  
  • Heuristic Algorithms
  • Constraint Satisfaction Problems
  • Constraint Programming Techniques
  • Decomposition Techniques (Tree and Hypertree Decompositions)
  • Metaheuristic Algorithms (Simulated Annealing, Tabu Search, Genetic Algorithms¿)
  • Adversarial Search and Game Playing
  • Application of Machine Learning in Search (Automated Algorithm Selection, Hyperheuristics)
  • Algorithm Configuration (Automated Parameter Tuning)


  • Lectures
  • Exercises/project: students will implement an exact and a metaheuristic/hybrid method for a particular problem
  • Discussion for solving of different logical problems and puzzles
  • Presentation of solution methods from students
  • Demonstration of applications developed in research and industrial projects of our group



Weitere Informationen

The preliminary discussion/first lecture will take place on 14.03.2023 (16:15 - 17:45) 


ECTS Breakdown:

9 classes (including preparation): 25 h

project (including presentation): 25 h

exam: 25 h


total: 75 h


For latest information, please visit TUWEL


Vortragende Personen


LVA Termine

Di.16:00 - 18:0014.03.2023 - 27.06.2023FAV Hörsaal 1 - INF Lectures
Fr.13:00 - 16:0030.06.2023FAV Hörsaal 1 - INF Assignment 2
Problem Solving and Search in Artificial Intelligence - Einzeltermine
Di.14.03.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.21.03.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.28.03.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.18.04.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.25.04.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.02.05.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.09.05.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.16.05.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.23.05.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.06.06.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.13.06.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.20.06.202316:00 - 18:00FAV Hörsaal 1 - INF Lectures
Di.27.06.202316:00 - 18:00FAV Hörsaal 1 - INF Exam
Fr.30.06.202313:00 - 16:00FAV Hörsaal 1 - INF Assignment 2



  • Written exam(50%)
  • Assignments (Project) (50%)

Open book exam.


Mo.17:00 - 19:0009.10.2023FAV Hörsaal 1 - INF beurteilt29.06.2023 12:00 - 02.10.2023 14:00in TISSProblem Solving and Search in AI (second exam..)


Von Bis Abmeldung bis
18.01.2023 10:00 19.03.2023 15:00 20.03.2023 18:00






Z. Michalewicz and D. B. Fogel. How to Solve It: Modern Heuristics, 2nd edition, Springer-Verlag, 2004

Artificial Intelligence: A Modern Approach (Third Edition) by Stuart Russell and Peter Norvig; Prentice Hall, 2010.

Different scientific papers

Slides: TUWEL



Knowledge of algorithms and data structures

Programming skills


Begleitende Lehrveranstaltungen