04537nam 22007575 450 99646565700331620200629223619.03-642-33558-610.1007/978-3-642-33558-7(CKB)3280000000002186(SSID)ssj0000788971(PQKBManifestationID)11518569(PQKBTitleCode)TC0000788971(PQKBWorkID)10723561(PQKB)11685361(DE-He213)978-3-642-33558-7(MiAaPQ)EBC3069905(PPN)168324849(EXLCZ)99328000000000218620121009d2012 u| 0engurnn|008mamaatxtccrPrinciples and Practice of Constraint Programming - CP 2012[electronic resource] 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /edited by Michela Milano1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XXII, 1015 p. 237 illus.) Programming and Software Engineering ;7514International conference proceedings.3-642-33557-8 Includes bibliographical references and author index.Invited Papers -- Best Paper -- Best Application Paper -- Honorable Mentions -- CP Main Track -- Application Track -- Multi-disciplinary Track.This 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.Programming and Software Engineering ;7514Mathematical logicNumerical analysisAlgorithmsComputer logicComputer science—MathematicsProgramming languages (Electronic computers)Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XAlgorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XDiscrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical logic.Numerical analysis.Algorithms.Computer logic.Computer science—Mathematics.Programming languages (Electronic computers).Mathematical Logic and Formal Languages.Numeric Computing.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Discrete Mathematics in Computer Science.Programming Languages, Compilers, Interpreters.005.131Milano Michelaedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465657003316Principles and Practice of Constraint Programming - CP 20122830294UNISA