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.

By:

(23rd : CP (Conference) (23rd : 2017 : Melbourne, Vic.)

Contributor(s):

Beck, J. Christopher [editor.]

Material type: Text

TextSeries: Lecture notes in computer science ; 10416. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham, Switzerland : Springer, 2017Description: 1 online resource (xxxvi, 724 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319661582
3319661582

Other title:

CP 2017

Subject(s):

Genre/Form:

Additional physical formats: Printed edition:: No titleDDC classification:

005.1/16 23

LOC classification:

QA76.612

Online resources:

Click here to access online

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.

Holdings ( 1 )
Title notes ( 5 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

International conference proceedings.

Includes bibliographical references.

Online resource; title from PDF title page (SpringerLink, viewed August 31, 2017).

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.

Technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.