![Principles and practice of constraint programming [electronic resource] : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings](https://image.aladin.co.kr/product/11391/61/cover/3319661574_2.jpg)
Principles and practice of constraint programming [electronic resource] : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000045993923 | |
| 005 | 20190820110517 | |
| 006 | m d | |
| 007 | cr | |
| 008 | 190806s2017 sz a ob 100 0 eng d | |
| 020 | ▼a 9783319661575 | |
| 020 | ▼a 9783319661582 (eBook) | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 050 | 4 | ▼a QA8.9-QA10.3 |
| 082 | 0 4 | ▼a 005.1/16 ▼2 23 |
| 084 | ▼a 005.116 ▼2 DDCK | |
| 090 | ▼a 005.116 | |
| 245 | 0 0 | ▼a Principles and practice of constraint programming ▼h [electronic resource] : ▼b 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / ▼c edited by J. Christopher Beck. |
| 260 | ▼a Cham : ▼b Springer, ▼c 2017. | |
| 300 | ▼a 1 online resource (xxxvi, 724 p.) : ▼b ill. | |
| 490 | 1 | ▼a Programming and software engineering ; ▼v 10416 |
| 500 | ▼a Title from e-Book title page. | |
| 504 | ▼a Includes bibliographical references. | |
| 520 | ▼a 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. | |
| 530 | ▼a Issued also as a book. | |
| 538 | ▼a Mode of access: World Wide Web. | |
| 650 | 0 | ▼a Constraint programming (Computer science) ▼v Congresses. |
| 650 | 0 | ▼a Artificial intelligence. |
| 650 | 0 | ▼a Computer software. |
| 700 | 1 | ▼a Beck, J. Christopher. |
| 711 | 2 | ▼a CP (Conference) ▼n (23rd : ▼d 2017 : ▼c Melbourne, Vic.). |
| 830 | 0 | ▼a Programming and software engineering ; ▼v 10416. |
| 856 | 4 0 | ▼u https://oca.korea.ac.kr/link.n2s?url=https://doi.org/10.1007/978-3-319-66158-2 |
| 945 | ▼a KLPA | |
| 991 | ▼a E-Book(소장) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/e-Book 컬렉션/ | 청구기호 CR 005.116 | 등록번호 E14017129 | 도서상태 대출불가(열람가능) | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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
정보제공 :
목차
technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.
정보제공 :