Quelltext der Seite Constraint Satisfaction Problems

{{Forschungsgebiet
|Name EN=Constraint Satisfaction Problems
|Beschreibung DE=Viele natürliche Berechnungsprobleme lassen sich als Constraint Satisfaction Probleme formulieren:
gegeben ist eine endliche Menge von Variablen und eine endliche Menge an Bedingungen (Constraints), gefragt ist, ob es eine Lösung gibt, die allen Bedingungen genügt. Für welche Arten von Constraints lassen sich CSPs effizient lösen, und mit welchen Algorithmen? Für  welche CSPs kann es solche Algorithmen nicht geben?
|Bild=Simple-unsat-16.pdf
}}