Principles and Practice of Constraint Programming

Das Buch "Principles and Practice of Constraint Programming" dokumentiert die refereed Konferenzbeiträge der 23. Internationalen Konferenz über Prinzipien und Praktiken der Constraint-Programmierung, die 2017 in Melbourne, Australien stattfand. Diese Konferenz fand zeitgleich mit der 20. Internationalen Konferenz über Theorie und Anwendungen der Erfüllbarkeitstests sowie der 33. Internationalen Konferenz über Logikprogrammierung statt. Aus 115 eingereichten Beiträgen wurden 46 überarbeitete Volltexte ausgewählt, die eine umfassende Untersuchung aller Aspekte des Rechnens mit Einschränkungen bieten. Die Themen reichen von theoretischen Grundlagen über Algorithmen bis hin zu praktischen Anwendungen in Bereichen wie Entscheidungsfindung, Ressourcenallokation, Zeitplanung, Konfiguration und Planung. Die Beiträge sind in verschiedene Tracks unterteilt, die spezifische Forschungsgebiete abdecken und somit einen breiten Überblick über den aktuellen Stand der Forschung im Bereich der Constraint-Programmierung bieten.