Folien - Fachgruppe Informatik an der RWTH Aachen
Folien - Fachgruppe Informatik an der RWTH Aachen
Folien - Fachgruppe Informatik an der RWTH Aachen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lehrstuhl <strong>Informatik</strong> 7<br />
Logik und Theorie diskreter Systeme<br />
Prof. Dr. Martin Grohe<br />
Theory of Constraint Satisfaction Problems<br />
Master Course (V2+Ü1)<br />
o Constraint Satisfaction Problems<br />
(CSPs) give a general framework<br />
for modeling computational<br />
problems<br />
o Topic of the course are algorithms<br />
for <strong>an</strong>d the complexity of CSPs.<br />
o Wide r<strong>an</strong>ge of methods from<br />
different areas of theoretical<br />
computer science <strong>an</strong>d<br />
mathematics