SAT-Tagung – Auf den Spuren der Konfiguration

Was hat die SAT-Tagung mit Merlin CPQ zu tun?

Mit SAT-basierten Technologien können zahlreiche kombinatorische Probleme gelöst werden. Speziell die SAT-Tagung beschäftig sich mit der Theorie und Anwendung des proporsitionalen Erfüllbarkeitsproblem, mit der Booleschen Optimierung, Model Counting und Constraint Programming. Das Voranbringen der Wissenschaft ist hierbei das Ziel. Ein Ziel, dass uns bei der Verbesserung unserer CPQ-Lösung Merlin CPQ unterstützt. Denn der Kern unserer Lösung ist ein SAT-basiertes System. Die SAT-Tagung liefert wichtige Beiträge wie:

• theoretische Fortschritte wie z.B. exakte Algorithmen und Komplexitätsfragen
• praktische Suchalgorithmen
• Details auf Implementierungsebene von SAT-Solvern und SAT-basierten Systemen
• Problemkodierungen und Reformulierungen
• und Fallstudien und Berichte über Erkenntnisse, die auf strengen Experimenten basieren.

Als einer der Sponsoren der SAT-Tagung unterstützen wir die alljährliche Tagung und damit auch das Forschungsfeld. Unser Anliegen ist das Vorantreiben zukunftsweisender Technologien.

Highlight

Jedes Jahr findet im Rahmen der SAT-Tagung auch die SAT Competition statt. Sie sind neugierig geworden und wollen wissen, wie man an der Competition teilnehmen kann? Hier erfahren Sie mehr.