Principles and practice of constraint programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submis...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham :
Springer,
2014
|
| Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 8656 |
| Subjects: |
| LEADER | 07675nam a2200961Ii 4500 | ||
|---|---|---|---|
| 001 | 4f5f9561-14e6-422a-9ce2-739d7e39d94f | ||
| 005 | 20240926000000.0 | ||
| 008 | 140826s2014 sz a o 101 0 eng d | ||
| 020 | |a 3319104276 |q (print) | ||
| 020 | |a 3319104284 |q (electronic bk.) | ||
| 020 | |a 9783319104270 |q (print) | ||
| 020 | |a 9783319104287 |q (electronic bk.) | ||
| 020 | |z 9783319104270 | ||
| 024 | 7 | |a 10.1007/978-3-319-10428-7 |2 doi | |
| 035 | |a (OCoLC)889235291 |z (OCoLC)1204035586 |z (OCoLC)1227398981 | ||
| 035 | |a (OCoLC)889235291 | ||
| 035 | |a (Sirsi) a11926675 | ||
| 035 | |a (Sirsi) spocn889235291 | ||
| 037 | |b Springer | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDXCP |d COO |d UPM |d OCLCF |d OCLCO |d OCL |d OCLCO |d OCLCQ |d UAB |d ESU |d IOG |d OCLCQ |d NJR |d BUF |d CEF |d TFW |d U3W |d AU@ |d WYU |d EBLCP |d YOU |d OCLCQ |d WURST |d DCT |d SFB |d UKAHL |d CSt | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDXCP |d COO |d UPM |d OCLCF |d OCLCO |d OCL |d OCLCO |d OCLCQ |d UAB |d ESU |d IOG | ||
| 049 | |a MAIN | ||
| 050 | 4 | |a QA76.612 | |
| 072 | 7 | |a COM051010 |2 bisacsh | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 bicssc | |
| 082 | 0 | 4 | |a 005.1/16 |2 23 |
| 111 | 2 | |a CP (Conference) |n (20th : |d 2014 : |c Lyon, France) |1 http://viaf.org/viaf/312859580 | |
| 111 | 2 | |a CP (Conference) |n (20th : |d 2014 : |c Lyon, France) | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming : |b 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings / |c edited by Barry O'Sullivan |
| 246 | 3 | |a CP 2014 | |
| 264 | 1 | |a Cham : |b Springer, |c 2014 | |
| 300 | |a 1 online resource (xxvi, 944 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 490 | 1 | |a Lecture Notes in Computer Science, |x 0302-9743 ; |v 8656 | |
| 500 | |a Includes author index | ||
| 500 | |a International conference proceedings | ||
| 505 | 0 | |a Intro; Preface; Prize-Winning Papers; Tutorials and Workshops; Conference Organization; The Association for Constraint Programming; Table of Contents; Invited Talks; A Modular Architecture for Hybrid Planning with Theories; References; Teaching Constraint Programming; One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling; References; Concurrent Constraint Programming Research Programmes -- Redux; References; Best Technical Track Paper; On Broken Triangles; 1 Introduction; 2 Value Merging in Binary CSP Based on the BTP; 3 Experimental Trials | |
| 505 | 8 | |a 2 Preliminaries2.1 SAT Solving; 2.2 LCG and LD Solvers; 2.3 Order and Logarithmic Encoding; 2.4 Multi Decision Diagrams; 3 Linear Integer Constraints; 4 Construction of the MDD; 5 Encoding MDDs into CNF; 6 Optimization Problems; 7 Improvements; 7.1 Grouping Identical Coefficients; 7.2 Removing Subsumed Clauses; 7.3 Solution Phase Saving; 7.4 Lazy Decomposition; 8 Related Work and Extensions; 9 Experimental Results; 9.1 Multiple Knapsack; 9.2 RCPSP; 9.3 Graph Coloring; 9.4 Sport Leagues Scheduling; 10 Conclusion; References; Efficient Application of Max-SAT Resolution on Inconsistent Subsets | |
| 505 | 8 | |a 3 Compiling CNFs into Decision-DNNFs3.1 Decision-DNNF; 3.2 Decision Vtrees; 3.3 A Compilation Algorithm; 3.4 Decision-Width; 3.5 Relationship to Treewidth; 4 Decision-DNNFs and Model Counters; 5 From Decision-DNNF to SDD; 6 Related Work; 7 Conclusion; References; Runner-Up Best Student Paper; A Complete Solver for Constraint Games; 1 Introduction; 2 Constraint Games; 3 Modeling with Constraint Games; 4 Pruning Techniques; 5 An Algorithm for Nash Equilibrium Enumeration; 6 Experiments; 7 Conclusion; References; Technical Track; Encoding Linear Constraints into SAT; 1 Introduction | |
| 505 | 8 | |a 4 Generalising BTP-Merging to Constraints of Arbitrary Arity5 A Tractable Class of General-Arity CSP; 5.1 Directional General-Arity BTP; 5.2 Merging; 5.3 Tractability of DGABTP for a Known Variable Ordering; 5.4 Finding a DGABTP Variable Ordering Is NP-Hard; 6 Conclusion; References; Best Application Track Paper; Using CP in Automatic Test Generation for ABB Robotics' Paint Control System; 1 Introduction; 2 Robotized Painting; 2.1 Example of Robotized Painting; 3 Testing the IPS; 3.1 Continuous Integration; 3.2 Testing in a CI Environment; 4 CP Model of the IPS | |
| 505 | 8 | |a 4.1 Decision Variables and Domains4.2 Test Scenarios; 4.3 Avoiding Trivial and Enforcing Diversity; 4.4 Search and Optimization; 4.5 Search Heuristics; 5 Implementation and Exploitation; 5.1 Selection of CP and the CP Solver; 5.2 Overall Implementation; 5.3 Execution of the Model; 5.4 Using the Flexibility of CP; 5.5 Performance of Model; 6 Lessons Learned and Conclusions; 6.2 Actual Defects Found with the CP Model; 6.3 Return on Investment with the Use of CP; 6.4 Further Work; References; Best Student Paper; On Compiling CNF into Decision-DNNF; 1 Introduction; 2 Technical Preliminaries | |
| 520 | |a This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies | ||
| 546 | |a English | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed August 26, 2014) | |
| 650 | 0 | |a Constraint programming (Computer science) |v Congresses | |
| 650 | 7 | |a Constraint programming (Computer science) |2 fast | |
| 650 | 1 | 4 | |a Computer Science |
| 650 | 2 | 4 | |a Algorithm Analysis and Problem Complexity |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages |
| 650 | 2 | 4 | |a Mathematics of Computing |
| 653 | 0 | 0 | |a algorithms |
| 653 | 0 | 0 | |a algoritmen |
| 653 | 0 | 0 | |a artificial intelligence |
| 653 | 0 | 0 | |a computational mathematics |
| 653 | 0 | 0 | |a computer analysis |
| 653 | 0 | 0 | |a computer sciences |
| 653 | 0 | 0 | |a computeranalyse |
| 653 | 0 | 0 | |a computerwetenschappen |
| 653 | 0 | 0 | |a computerwiskunde |
| 653 | 0 | 0 | |a kunstmatige intelligentie |
| 653 | 0 | 0 | |a logic |
| 653 | 0 | 0 | |a logica |
| 653 | 0 | 0 | |a mathematics |
| 653 | 0 | 0 | |a wiskunde |
| 653 | 1 | 0 | |a Informatie- en communicatietechnologie (algemeen) |
| 653 | 1 | 0 | |a Information and Communication Technology (General) |
| 655 | 4 | |a Electronic books | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a O'Sullivan, B |q (Barry), |e editor. |1 http://viaf.org/viaf/95373108 | |
| 700 | 1 | |a O'Sullivan, B |q (Barry), |e editor. | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319104270 |
| 830 | 0 | |a LNCS sublibrary |n SL 2, |p Programming and software engineering. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 8656 |x 0302-9743 | |
| 999 | 1 | 0 | |i 4f5f9561-14e6-422a-9ce2-739d7e39d94f |l a11926675 |s US-CST |m principles_and_practice_of_constraint_programming20th_international_co_____2014_______sprina________________________________________cp__conference_____________________e |
| 999 | 1 | 0 | |i 4f5f9561-14e6-422a-9ce2-739d7e39d94f |l 11087193 |s US-ICU |m principles_and_practice_of_constraint_programming20th_international_co_____2014_______sprina________________________________________cp__conference_____________________e |
| 999 | 1 | 1 | |l a11926675 |s ISIL:US-CST |t BKS |b 5714b9e0-dba1-55a0-8dd4-52e58a302b5e |y 5714b9e0-dba1-55a0-8dd4-52e58a302b5e |p UNLOANABLE |
| 999 | 1 | 1 | |l a11926675 |s ISIL:US-CST |t BKS |a SUL-ELECTRONIC |p UNLOANABLE |