Dieser Band untersucht die Rolle der Logik bei der Optimierung - Grundlage für eine neue Generation von Vorlesungen in diskreter Optimierung! In ausgesprochen klarem, technisch sauberen Stil werden Tools und Techniken erläutert sowie vielfältige Programmieroptionen (ILOG, CPLEX, OPL, AMPL, GAMS und andere). Mit zahlreichen anschaulichen Beispielen. (07/00)