Trends in constraint programming / (Record no. 11406)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06153cam a2200769 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn501312936 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240523125531.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100122s2007 caua ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DG1 |
| Language of cataloging | eng |
| Description conventions | pn |
| Transcribing agency | DG1 |
| Modifying agency | OCLCQ |
| -- | DG1 |
| -- | OCLCQ |
| -- | OCLCF |
| -- | OCLCO |
| -- | N$T |
| -- | YDXCP |
| -- | IDEBK |
| -- | E7B |
| -- | NRC |
| -- | NRU |
| -- | B24X7 |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | DEBBG |
| -- | AZK |
| -- | DG1 |
| -- | LIP |
| -- | OCLCQ |
| -- | AU@ |
| -- | U3W |
| -- | OCLCQ |
| -- | OCLCO |
| -- | OCLCQ |
| -- | SFB |
| -- | OCLCO |
| -- | OCLCL |
| 019 ## - | |
| -- | 343815842 |
| -- | 642692519 |
| -- | 647848866 |
| -- | 961631462 |
| -- | 992845307 |
| -- | 1058186123 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470612309 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0470612304 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781847046475 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1847046479 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781905209972 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 1905209975 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1002/9780470612309 |
| Source of number or code | doi |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000055724203 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000934527 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 480148716 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043390502 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 400436000 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 430365799 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)501312936 |
| Canceled/invalid control number | (OCoLC)343815842 |
| -- | (OCoLC)642692519 |
| -- | (OCoLC)647848866 |
| -- | (OCoLC)961631462 |
| -- | (OCoLC)992845307 |
| -- | (OCoLC)1058186123 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | 10.1002/9780470612309 |
| Source of stock number/acquisition | Wiley InterScience |
| Note | http://www3.interscience.wiley.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.612 |
| Item number | .T74 2007 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 051390 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 051440 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 051230 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1/16 |
| Edition number | 22 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 245 00 - TITLE STATEMENT | |
| Title | Trends in constraint programming / |
| Statement of responsibility, etc. | edited by Frederic Benhamou, Narendra Jussien, Barry O'Sullivan. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Newport Beach, CA : |
| Name of publisher, distributor, etc. | ISTE USA, |
| Date of publication, distribution, etc. | 2007. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (408 pages) : |
| Other physical details | illustrations |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Constraint programming is a constantly evolving field, something which is explored at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which those involved in this area can then use to develop their own work. This title provides an accessible overview of this by bringing together the best papers on a range of topics within this subject area, thus allowing those involved in constraint programming to benefit from the new innovations and results created as a res. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Trends in Constraint Programming; Contents; Introduction; Part I. The Past, Present and Future of Constraint Programming; Chapter 1. Constraint Programming as Declarative Algorithmics; 1.1. The CHIP project; 1.2. The Numerica project; 1.3. The OPL project; 1.4. The Comet project; 1.5. The future of constraint programming; Chapter 2. Constraint Programming Tools; 2.1. Introduction; 2.2. Invited talks; 2.2.1. The development of an industrial CP tool; 2.2.1.1. Design goals; 2.2.1.2. The future; 2.2.2. System design: taking informed decisions; 2.2.2.1. Search; 2.2.2.2. Constraint propagation |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 2.2.2.3. Variables2.3. System presentations; 2.3.1. ECLiPSe; 2.3.2. SICStus FD; 2.3.3. G12; 2.3.4. DiSolver; 2.3.5.MINION; 2.3.6. Choco; 2.3.7. Gecode; 2.3.8. Comet; 2.3.9. JaCoP; 2.3.10. Borderwijk; 2.4. Panels; 2.5. Conclusion; 2.6. References; Chapter 3. The Next 10 Years of Constraint Programming; 3.1. Pedro Barahona; 3.2. Christian Bessiere; 3.3. Peter Jeavons; 3.4. Pedro Meseguer; 3.5. Gilles Pesant; 3.6. Francesca Rossi; 3.7. Thomas Schiex; 3.8. Christian Schulte; 3.9. Meinolf Sellmann; 3.10. Mark Wallace; 3.11. Toby Walsh; 3.12. Roland Yap; 3.13. References |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 4.6. A new filtering algorithm for the graph isomorphism problem4.6.1. A global constraint for the graph isomorphism problem; 4.6.2. ILL-consistency and ILL-filtering; 4.6.3. Experimental results; 4.7. References; Chapter 5. On the First SAT/CP Integration Workshop; 5.1. The technical program; 5.1.1. The invited talk; 5.1.2. Contributions related to SMT and solver integration; 5.1.3. Contributions related to the use of SAT techniques to improve CSP/CP solvers; 5.1.4. Other contributions; 5.2. The panel session; 5.2.1. Are SAT and CP different or similar? |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 5.2.2. Why has SAT succeeded in reducing the tuning issue?5.2.3. How long can the current generation of SAT solvers evolve?; 5.2.4. Were performance issues correctly addressed by CP?; 5.2.5. Was CP too ambitious?; 5.2.6. Do we still need CP?; 5.3. Summary, future directions and conclusion; 5.4. References; Chapter 6. Constraint-Based Methods for Bioinformatics; 6.1. On using temporal logic with constraints to express biological properties of cell processes; 6.2. Modeling biological systems in stochastic concurrent constraint programming |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | John Wiley and Sons |
| Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Constraint programming (Computer science) |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Programmation par contraintes. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Programming |
| -- | Open Source. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Software Development & Engineering |
| -- | Tools. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Software Development & Engineering |
| -- | General. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Constraint programming (Computer science) |
| Source of heading or term | fast |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Benhamou, Fr�ed�eric. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Jussien, Narendra. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | O'Sullivan, B. |
| Fuller form of name | (Barry) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCjJf9g6Y8Hwgyfq663m68C |
| 758 ## - RESOURCE IDENTIFIER | |
| Relationship information | has work: |
| Label | Trends in constraint programming (Text) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCGKhy36vbyg8f8kC44KJ9P |
| Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Title | Trends in constraint programming. |
| Place, publisher, and date of publication | Newport Beach, CA : ISTE USA, 2007 |
| International Standard Book Number | 9781905209972 |
| -- | 1905209975 |
| Record control number | (DLC) 2007009430 |
| -- | (OCoLC)85783476 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9780470612309">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470612309</a> |
| 938 ## - | |
| -- | Books 24x7 |
| -- | B247 |
| -- | bks00017557 |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 179261 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 3161127 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 2812280 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 3134143 |
| 994 ## - | |
| -- | 92 |
| -- | INLUM |
No items available.
