國立高雄大學圖資館 |

Language: English

Back

Principles and practice of constrain...

(1998 :)

Principles and practice of constraint programming18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Principles and practice of constraint programmingedited by Michela Milano.
Reminder of title:	18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /
remainder title:	CP 2012
other author:	Milano, Michela.
corporate name:
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg :2012.
Description:	1012 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Constraint programming (Computer science)
Online resource:	http://dx.doi.org/10.1007/978-3-642-33558-7
ISBN:	9783642335587 (electronic bk.)

Principles and practice of constraint programming18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /
Principles and practice of constraint programming18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /[electronic resource] :CP 2012edited by Michela Milano. - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - 1012 p. :ill., digital ;24 cm. - Lecture notes in computer science,75140302-9743 ;. - Lecture notes in computer science ;4891..

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 Quebec, 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.

ISBN: 9783642335587 (electronic bk.)Subjects--Topical Terms:

238874
Constraint programming (Computer science)

LC Class. No.: QA76.612 / .C6 2012

Dewey Class. No.: 005.116

Principles and practice of constraint programming18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /
LDR:02310nmm a2200301 a 4500 001 353073
003 DE-He213
005 20121114134021.0
006 m d
007 cr nn 008maaau
008 121218s2012 gw s 0 eng d
020 $a 9783642335587 (electronic bk.)
020 $a 9783642335570 (paper)
035 $a 978-3-642-33558-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.612 $b .C6 2012
082 0 4 $a 005.116 $2 23
090 $a QA76.612 $b .C882 2012
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Principles and practice of constraint programming $h [electronic resource] : $b 18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings / $c edited by Michela Milano.
246 3 $a CP 2012
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2012.
300 $a 1012 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 Quebec, 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 Constraint programming (Computer science) $3 238874
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Numeric Computing. $3 275524
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
700 1 $a Milano, Michela. $3 284700
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-33558-7
950 $a Computer Science (Springer-11645)