Principles and Practice of Constraint Programming - CP 2012 : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings / edited by Michela Milano.

Format:

Book

Contributor:

Milano, Michela, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 7514.

Programming and Software Engineering ; 7514

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Numerical analysis.

Algorithms.

Computer logic.

Computer science--Mathematics.

Computer science.

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.

Local Subjects:

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.

Physical Description:

1 online resource (XXII, 1015 pages) : 237 illustrations.

Edition:

First edition 2012.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

System Details:

text file PDF

Summary:

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, et cetera) 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.

Contents:

Invited Papers

Best Paper

Best Application Paper

Honorable Mentions

CP Main Track

Application Track

Multi-disciplinary Track.

Other Format:

Printed edition:

ISBN:

978-3-642-33558-7

9783642335587

Access Restriction:

Restricted for use by site license.