Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
tarafından
 
Beck, J. Christopher. editor.

Başlık
Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar
Beck, J. Christopher. editor.

ISBN
9783319661582

Edisyon
1st ed. 2017.

Fiziksel Niteleme
XXXVI, 724 p. 161 illus. online resource.

Seri
Programming and Software Engineering ; 10416

Özet
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.

Konu Başlığı
Computer science.
 
Artificial intelligence.
 
Computer software.
 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
 
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
 
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021

Yazar Ek Girişi
Beck, J. Christopher.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-66158-2


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book224445-1001QA8.9 -QA10.3Springer E-Book Collection