LEADER 04537nam  22007575  450 
001 996465657003316
005 20200629223619.0
010   $a3-642-33558-6
024 7 $a10.1007/978-3-642-33558-7
035   $a(CKB)3280000000002186
035   $a(SSID)ssj0000788971
035   $a(PQKBManifestationID)11518569
035   $a(PQKBTitleCode)TC0000788971
035   $a(PQKBWorkID)10723561
035   $a(PQKB)11685361
035   $a(DE-He213)978-3-642-33558-7
035   $a(MiAaPQ)EBC3069905
035   $a(PPN)168324849
035   $a(EXLCZ)993280000000002186
100   $a20121009d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples and Practice of Constraint Programming - CP 2012$b[electronic resource] $e18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /$fedited by Michela Milano
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XXII, 1015 p. 237 illus.) 
225 1 $aProgramming and Software Engineering ;$v7514
300   $aInternational conference proceedings.
311   $a3-642-33557-8 
320   $aIncludes bibliographical references and author index.
327   $aInvited Papers -- Best Paper -- Best Application Paper -- Honorable Mentions -- CP Main Track -- Application Track -- Multi-disciplinary Track.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) The second track, featured for the first time in 2012, concentrated on multidisciplinary papers: cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification.
410  0$aProgramming and Software Engineering ;$v7514
606   $aMathematical logic
606   $aNumerical analysis
606   $aAlgorithms
606   $aComputer logic
606   $aComputer science?Mathematics
606   $aProgramming languages (Electronic computers)
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aMathematical logic.
615  0$aNumerical analysis.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aComputer science?Mathematics.
615  0$aProgramming languages (Electronic computers).
615 14$aMathematical Logic and Formal Languages.
615 24$aNumeric Computing.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a005.131
702   $aMilano$b Michela$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465657003316
996   $aPrinciples and Practice of Constraint Programming - CP 2012$92830294
997   $aUNISA