Limit search to available items
Book Cover
E-book
Author CP (Conference) (23rd : 2017 : Melbourne, Vic.)

Title Principles and practice of constraint programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings / edited by J. Christopher Beck
Published Cham, Switzerland : Springer, 2017

Copies

Description 1 online resource (xxxvi, 724 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 10416
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 10416. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track
Summary This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track
Notes International conference proceedings
Bibliography Includes bibliographical references
Notes Online resource; title from PDF title page (SpringerLink, viewed August 31, 2017)
Subject Constraint programming (Computer science) -- Congresses
Mathematical theory of computation.
Artificial intelligence.
Algorithms & data structures.
Computers -- Data Processing.
Computers -- Intelligence (AI) & Semantics.
Computers -- Programming -- Algorithms.
Mathematics -- Logic.
Constraint programming (Computer science)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Beck, J. Christopher, editor
ISBN 9783319661582
3319661582
Other Titles CP 2017