| 書目名稱 | Principles and Practice of Constraint Programming | | 副標(biāo)題 | 23rd International C | | 編輯 | J. Christopher Beck | | 視頻video | http://file.papertrans.cn/756/755358/755358.mp4 | | 概述 | Includes supplementary material: | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | .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 20.th. International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33.rd. 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.. | | 出版日期 | Conference proceedings 2017 | | 關(guān)鍵詞 | Computer Science; Informatics; Theory; Algorithms; Environments; Languages; Models; Systems; Applications; De | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-66158-2 | | isbn_softcover | 978-3-319-66157-5 | | isbn_ebook | 978-3-319-66158-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer International Publishing AG 2017 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 03:39
發(fā)表于 2025-3-21 17:31:16
