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

J. Christopher Beck

ISBN 10: 3319661574 / ISBN 13: 9783319661575

Published by Springer International Publishing, Springer International Publishing, 2017

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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 allocation, 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.

Seller Inventory # 9783319661575

Bibliographic Details

• Title: Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 ¿ September 1, 2017, Proceedings
• Publisher: Springer International Publishing, Springer International Publishing
• Publication Date: 2017
• Language: English
• ISBN 10: 3319661574
• ISBN 13: 9783319661575
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 41D millimeters 235 millimeters width by 155 millimeters height by 41 millimeters depth
• Weight: 1130 grams

About this title

Synopsis

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.