Title: Constraint integer programming
Subjects: Gemischt-ganzzahlige Optimierung, Entwurfsautomation, Constraint-Programmierung, Verifikation