Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion.