Forschungsgruppe: Automation of Logic. Zu meinen Aufgaben zählten die Entwicklung und Implementierung von Techniken für lineare Arithmetik – auch bekannt als (Mixed Integer) Linear Programming. Des ...