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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Milano, Michela (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7514
• Θέματα: Computer science.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Mathematical logic.; Numerical analysis.; Computer science > Mathematics.; Computer Science.; 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.

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

Πίνακας περιεχομένων:

• Invited Papers
• Best Paper
• Best Application Paper
• Honorable Mentions
• CP Main Track
• Application Track
• Multi-disciplinary Track.