03798nam 22006255 450 991048504570332120200630162616.03-319-44953-210.1007/978-3-319-44953-1(CKB)3710000000837741(DE-He213)978-3-319-44953-1(MiAaPQ)EBC5591869(PPN)194804283(EXLCZ)99371000000083774120160822d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierPrinciples and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /edited by Michel Rueher1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XXVIII, 899 p. 186 illus.) Programming and Software Engineering ;98923-319-44952-4 Includes bibliographical references and index.Theory -- Algorithms -- Environments -- Languages -- Models -- Systems -- Applications -- Decision making -- Resource allocation -- Scheduling -- Configuration -- Planning -- Technical track -- Application track -- Computational sustainability track -- CP and biology track -- Music track -- Preference, social choice, and optimization track- Testing and verification track -- Journal-first and sister conferences track.This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 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; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.Programming and Software Engineering ;9892Mathematical logicComputer science—MathematicsArtificial intelligenceAlgorithmsMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematics of Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I17001Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Mathematical logic.Computer science—Mathematics.Artificial intelligence.Algorithms.Mathematical Logic and Formal Languages.Mathematics of Computing.Artificial Intelligence.Algorithm Analysis and Problem Complexity.005.116Rueher Micheledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910485045703321Principles and Practice of Constraint Programming774019UNINA