chevron_left zurück

SAT-Tagung – Auf den Spuren der Konfiguration

Erforschung SAT-basierter Technologien

Alljährlich treffen sich Forscher auf der SAT-Tagung, um sich zu den neuesten Entwicklungen SAT-basierter Technologien auszutauschen, Vorträge anzuhören und in Workshops mitzuwirken. Dieses Jahr findet die SAT-Tagung vom  07. bis zum 09. Juli 2021 in einem hybriden Format statt – vor Ort in Barcelona oder virtuell. Das Programm beginnt immer zur Nachmittagsstunde ab 15 Uhr.

Wir laden alle Technologieinteressierten, Forscher und Entwickler sowie Mathematiker herzlich dazu ein, an der SAT-Tagung 2021 teilzunehmen!

 

Zur Registration

Was hat die SAT-Tagung mit CAS Configurator Merlin 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 CAS Configurator Merlin 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.

Mehr erfahren?

Für Modellierungsexperten und Technologieinteressierte

Sie haben weitere Fragen?

Kontaktieren Sie uns, wir sind gerne für Sie da

Wir beantworten Ihnen gerne weitere Fragen rund um das Event oder andere CPQ-Themen.

 

Kontakt aufnehmen