Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

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 20^th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33^rd 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.

Sommario

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

Riassunto

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 20^th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33^rd 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.

Dettagli sul prodotto

• Con la collaborazione di: J. Christopher Beck (Editore), Christopher Beck (Editore), J Christopher Beck (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 30.09.2017
• EAN: 9783319661575
• ISBN: 978-3-31-966157-5
• Pagine: 724
• Dimensioni: 162 mm x 43 mm x 237 mm
• Peso: 1130 g
• Illustrazioni: XXXVI, 724 p. 161 illus.
• Serie: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Künstliche Intelligenz, Algorithmen und Datenstrukturen, Algorithms, Artificial Intelligence, Mathematik für Informatiker, computer science, Mathematics of Computing, Algorithms & data structures, Mathematical theory of computation, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Formal Languages and Automata Theory, Testing and verification, Preference, social choice and optimization, Music track, Computational sustainability, CP and biology track