Constraint Satisfaction Problems
Aus International Center for Computational Logic
Constraint Satisfaction Problems
Viele natürliche Berechnungsprobleme lassen sich als Constraint Satisfaction Probleme formulieren:
gegeben ist eine endliche Menge von Variablen und eine endliche Menge an Bedingungen (Constraints), gefragt ist, ob es eine Lösung gibt, die allen Bedingungen genügt. Für welche Arten von Constraints lassen sich CSPs effizient lösen, und mit welchen Algorithmen? Für welche CSPs kann es solche Algorithmen nicht geben?
Professoren und Gruppenleiter
Prof. Sebastian Rudolph
- sebastian.rudolph@tu-dresden.de
- +49 351 463 38516
- APB 2035
- Computational Logic
Wissenschaftliche Mitarbeiter
Dr. Johannes Fichte
- johannes.fichte@tu-dresden.de
- +49 351 463 43548
- APB2018 (https://goo.gl/maps/k7iD8kfi5Cu)
- Wissensverarbeitung
M.Sc. Lukas Schweizer
- firstname.lastname@tu-dresden.de
- +49 351 463 43559
- APB 2033
- Computational Logic
Artikel in Tagungsbänden
Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download
Herausgegebene Tagungsbände
Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details
Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details