Projects per year
Original language | English |
---|---|
Title of host publication | Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings |
Editors | J. Christopher Beck |
Number of pages | 11 |
Place of Publication | Cham |
Publisher | Springer International Publishing AG |
Publication date | 2017 |
Pages | 641-651 |
ISBN (Print) | 978-3-319-66157-5 |
ISBN (Electronic) | 978-3-319-66158-2 |
DOIs | |
Publication status | Published - 2017 |
MoE publication type | A4 Article in conference proceedings |
Event | International Conference on Principles and Practice of Constraint Programming - Melbourne, Australia Duration: 28 Aug 2017 → 1 Sep 2017 Conference number: 23 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10416 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Fields of Science
- 113 Computer and information sciences
Projects
- 1 Finished
-
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
01/09/2014 → 31/08/2019
Project: Research project
Prizes
-
CP 2017 Distinguished Paper Award
Bacchus, F. (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017
Prize: Prizes and awards