|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-642-33558-7 |
003 |
DE-He213 |
005 |
20220311181004.0 |
007 |
cr nn 008mamaa |
008 |
121009s2012 gw | s |||| 0|eng d |
020 |
|
|
|a 9783642335587
|9 978-3-642-33558-7
|
024 |
7 |
|
|a 10.1007/978-3-642-33558-7
|2 doi
|
050 |
|
4 |
|a QA267-268.5
|
072 |
|
7 |
|a UYA
|2 bicssc
|
072 |
|
7 |
|a MAT018000
|2 bisacsh
|
072 |
|
7 |
|a UYA
|2 thema
|
082 |
0 |
4 |
|a 005.131
|2 23
|
245 |
1 |
0 |
|a Principles and Practice of Constraint Programming - CP 2012
|h [electronic resource] :
|b 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /
|c edited by Michela Milano.
|
250 |
|
|
|a 1st ed. 2012.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2012.
|
300 |
|
|
|a XXII, 1015 p. 237 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 7514
|
505 |
0 |
|
|a Invited Papers -- Best Paper -- Best Application Paper -- Honorable Mentions -- CP Main Track -- Application Track -- Multi-disciplinary Track.
|
520 |
|
|
|a 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.
|
650 |
|
0 |
|a Machine theory.
|
650 |
|
0 |
|a Numerical analysis.
|
650 |
|
0 |
|a Algorithms.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Computer science-Mathematics.
|
650 |
|
0 |
|a Discrete mathematics.
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
1 |
4 |
|a Formal Languages and Automata Theory.
|
650 |
2 |
4 |
|a Numerical Analysis.
|
650 |
2 |
4 |
|a Algorithms.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
650 |
2 |
4 |
|a Compilers and Interpreters.
|
700 |
1 |
|
|a Milano, Michela.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642335570
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642335594
|
830 |
|
0 |
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 7514
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-642-33558-7
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|