Principles and Practice of Constraint Programming

23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Database Management, Data Processing, General Computing
Cover of the book Principles and Practice of Constraint Programming by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319661582
Publisher: Springer International Publishing Publication: August 22, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319661582
Publisher: Springer International Publishing
Publication: August 22, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Love and Marriage Across Social Classes in American Cinema by
Cover of the book Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems by
Cover of the book Economics of the International Coal Trade by
Cover of the book Testing Software and Systems by
Cover of the book The Semantic Web – ISWC 2016 by
Cover of the book Aniridia by
Cover of the book Astrophysics of Exoplanetary Atmospheres by
Cover of the book Nematode Pathogenesis of Insects and Other Pests by
Cover of the book Truth, Objects, Infinity by
Cover of the book Farm Hall and the German Atomic Project of World War II by
Cover of the book High Performance Computing by
Cover of the book Optimization and Decision Support Systems for Supply Chains by
Cover of the book High Performance Natural Fiber-Nanoclay Reinforced Cement Nanocomposites by
Cover of the book Organic and Hybrid Solar Cells by
Cover of the book Ad Hoc Networks by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy