03155nam 22006135 450 991048345720332120251225205219.03-319-66158-210.1007/978-3-319-66158-2(CKB)3710000001631269(DE-He213)978-3-319-66158-2(MiAaPQ)EBC5579101(PPN)203850270(EXLCZ)99371000000163126920170822d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierPrinciples and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /edited by J. Christopher Beck1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XXXVI, 724 p. 161 illus.) Programming and Software Engineering,2945-9168 ;104163-319-66157-4 Includes bibliographical references and index.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.Programming and Software Engineering,2945-9168 ;10416Machine theoryComputer scienceMathematicsArtificial intelligenceAlgorithmsFormal Languages and Automata TheoryMathematics of ComputingArtificial IntelligenceAlgorithmsMachine theory.Computer scienceMathematics.Artificial intelligence.Algorithms.Formal Languages and Automata Theory.Mathematics of Computing.Artificial Intelligence.Algorithms.005.116Beck J. Christopheredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483457203321Principles and Practice of Constraint Programming774019UNINA