Logic and Integer Programming, Fachbücher von H. Paul Williams

"Logic and Integer Programming" von Paul Williams bietet eine prägnante und verständliche Einführung in die Modellierung mit logischen Ansätzen für die ganzzahlige Programmierung. Das Buch richtet sich an Studierende auf Master- und Doktoratsniveau sowie an Akademiker und Praktiker in diesem Bereich. Es ist in vier Kapitel unterteilt, die sich von der traditionellen Struktur mit Definitionen, Theoremen und Beweisen abheben. Stattdessen werden Konzepte und Ergebnisse durch praxisnahe Beispiele vermittelt. Am Ende jedes Kapitels finden sich Verweise auf mathematische Fachliteratur sowie Übungen, die das Verständnis vertiefen und erweitern. Das Buch behandelt sowohl logische als auch ganzzahlige Programmiermethoden und erläutert deren Zusammenhänge. Zudem werden Anwendungen in verschiedenen Bereichen vorgestellt, wobei Williams demonstriert, wie IP-Modelle als Erfüllbarkeitsprobleme formuliert und gelöst werden können.