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 Energy Solutions to Combat Global Warming by
Cover of the book Channel Estimation for Physical Layer Network Coding Systems by
Cover of the book Time-Dependent CP Violation Measurements by
Cover of the book The Ethics of Choosing Children by
Cover of the book Hybrid Systems Biology by
Cover of the book Sustainable Freight Transport by
Cover of the book Co-production in the Public Sector by
Cover of the book Data Management Technologies and Applications by
Cover of the book Global Political Economy by
Cover of the book Mobile Computing, Applications, and Services by
Cover of the book Governance in South, Southeast, and East Asia by
Cover of the book Passenger Car Tires and Wheels by
Cover of the book Population Genetics and Belonging by
Cover of the book Contemporary Physics Plays by
Cover of the book Cardio-Renal Clinical Challenges 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