LEADER 03706nam 22007935 450 001 996207294403316 005 20230222162603.0 010 $a3-319-18008-8 024 7 $a10.1007/978-3-319-18008-3 035 $a(CKB)3710000000404086 035 $a(SSID)ssj0001501538 035 $a(PQKBManifestationID)11879161 035 $a(PQKBTitleCode)TC0001501538 035 $a(PQKBWorkID)11447125 035 $a(PQKB)11200248 035 $a(DE-He213)978-3-319-18008-3 035 $a(MiAaPQ)EBC5594849 035 $a(PPN)185489176 035 $a(EXLCZ)993710000000404086 100 $a20150415d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegration of AI and OR Techniques in Constraint Programming$b[electronic resource] $e12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /$fedited by Laurent Michel 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXV, 456 p. 87 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9075 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-18007-X 330 $aThis book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9075 606 $aNumerical analysis 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aArtificial intelligence 606 $aOperations research 606 $aManagement science 606 $aNumerical Analysis 606 $aMathematical Applications in Computer Science 606 $aDiscrete Mathematics in Computer Science 606 $aAlgorithms 606 $aArtificial Intelligence 606 $aOperations Research, Management Science 615 0$aNumerical analysis. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aOperations research. 615 0$aManagement science. 615 14$aNumerical Analysis. 615 24$aMathematical Applications in Computer Science. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithms. 615 24$aArtificial Intelligence. 615 24$aOperations Research, Management Science . 676 $a004 702 $aMichel$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996207294403316 996 $aIntegration of AI and OR Techniques in Constraint Programming$92830039 997 $aUNISA