Lecture Notes in Computer Science 10416
Beck, J. ChristopherThis 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
种类:
年:
2017
出版社:
Springer
语言:
english
页:
724
ISBN 10:
3319661582
ISBN 13:
9783319661582
系列:
Lecture Notes in Computer Science 10416
文件:
PDF, 27.43 MB
IPFS:
,
english, 2017
因版权方投诉,本书无法下载