„constraint satisfaction problem" nicht gefunden