Principles and Practice of Constraint Programming -

Principles and Practice of Constraint Programming

23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

J. Christopher Beck (Herausgeber)

Buch | Softcover
XXXVI, 724 Seiten
2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-66157-5 (ISBN)
53,49 inkl. MwSt

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming.
The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al

location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.

technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Programming and Software Engineering
Zusatzinfo XXXVI, 724 p. 161 illus.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Gewicht 1129 g
Themenwelt Informatik Theorie / Studium Algorithmen
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Algorithm analysis and problem complexity • algorithms • Applications • Computational Sustainability • Computer Science • conference proceedings • Configuration and Planning • CP and biology track • Decision Making • Environments • Informatics • Informatik • Languages • Mathematical logic and formal languages • Mathematical theory of computation • Models • Music track • Preference, social choice and optimization • Research • Resource Allocation • Scheduling • Systems • testing and verification • theory
ISBN-10 3-319-66157-4 / 3319661574
ISBN-13 978-3-319-66157-5 / 9783319661575
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media

von Jens Gallenbacher

Buch | Softcover (2021)
Springer (Verlag)
29,99
Interlingua zur Gewährleistung semantischer Interoperabilität in der …

von Josef Ingenerf; Cora Drenkhahn

Buch | Softcover (2023)
Springer Fachmedien (Verlag)
32,99