| 000 | 03591nam a22006255i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-33558-7 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125009.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 121009s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642335587 _9978-3-642-33558-7 |
||
| 024 | 7 |
_a10.1007/978-3-642-33558-7 _2doi |
|
| 050 | 4 | _aQA267-268.5 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a005.131 _223 |
| 245 | 1 | 0 |
_aPrinciples and Practice of Constraint Programming - CP 2012 _h[electronic resource] : _b18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings / _cedited by Michela Milano. |
| 250 | _a1st ed. 2012. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
| 300 |
_aXXII, 1015 p. 237 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7514 |
|
| 505 | 0 | _aInvited Papers -- Best Paper -- Best Application Paper -- Honorable Mentions -- CP Main Track -- Application Track -- Multi-disciplinary Track. | |
| 520 | _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. | ||
| 650 | 0 | _aMachine theory. | |
| 650 | 0 | _aNumerical analysis. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 |
_aComputer science _xMathematics. |
|
| 650 | 0 | _aDiscrete mathematics. | |
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 1 | 4 | _aFormal Languages and Automata Theory. |
| 650 | 2 | 4 | _aNumerical Analysis. |
| 650 | 2 | 4 | _aAlgorithms. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
| 650 | 2 | 4 | _aCompilers and Interpreters. |
| 700 | 1 |
_aMilano, Michela. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642335570 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642335594 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7514 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-33558-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c173053 _d173053 |
||