Eine Art von Problemstellung in der KI und Informatik, bei der eine Lösung (eine Belegung von Variablen mit Werten) gesucht wird, die eine Menge von vorgegebenen Bedingungen oder Einschränkungen (Constraints) erfüllt.