J. Christopher Beck
AI CSP Erfüllbarkeitsproblem der Aussagenlogik algorithm algorithms artificial intelligence combinatorial optimization integer programming linear optimization local search optimization programming scheduling seq uncertainty