TY  - BOOK
AU  - Beck,J.Christopher
ED  - CP (Conference)
TI  - Principles and practice of constraint programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783319661582
AV  - QA76.612 
U1  - 005.1/16 23
PY  - 2017///
CY  - Cham, Switzerland
PB  - Springer
KW  - Constraint programming (Computer science)
KW  - Congresses
KW  - Programmation par contraintes
KW  - Congrès
KW  - Mathematical theory of computation
KW  - bicssc
KW  - Artificial intelligence
KW  - Algorithms & data structures
KW  - Computers
KW  - Data Processing
KW  - bisacsh
KW  - Intelligence (AI) & Semantics
KW  - Programming
KW  - Algorithms
KW  - Mathematics
KW  - Logic
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes bibliographical references; Technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-319-66158-2
ER  -