LEADER 03798nam  22006255  450 
001 9910485045703321
005 20200630162616.0
010   $a3-319-44953-2
024 7 $a10.1007/978-3-319-44953-1
035   $a(CKB)3710000000837741
035   $a(DE-He213)978-3-319-44953-1
035   $a(MiAaPQ)EBC5591869
035   $a(PPN)194804283
035   $a(EXLCZ)993710000000837741
100   $a20160822d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPrinciples and Practice of Constraint Programming $e22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /$fedited by Michel Rueher
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXVIII, 899 p. 186 illus.) 
225 1 $aProgramming and Software Engineering ;$v9892
311   $a3-319-44952-4 
320   $aIncludes bibliographical references and index.
327   $aTheory -- 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.
330   $aThis 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.
410  0$aProgramming and Software Engineering ;$v9892
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aArtificial intelligence
606   $aAlgorithms
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615 14$aMathematical Logic and Formal Languages.
615 24$aMathematics of Computing.
615 24$aArtificial Intelligence.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a005.116
702   $aRueher$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910485045703321
996   $aPrinciples and Practice of Constraint Programming$9774019
997   $aUNINA