Principles and Practice of Constraint Programming - CP 2007 (Record no. 95221)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 08159nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-74970-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730194504.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100301s2007 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540749707 |
| -- | 978-3-540-74970-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-540-74970-7 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Principles and Practice of Constraint Programming - CP 2007 |
| Medium | [electronic resource] : |
| Remainder of title | 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / |
| Statement of responsibility, etc. | edited by Christian Bessiere. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2007. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin, Heidelberg : |
| Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2007. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XV, 887 p. |
| Other physical details | online resource. |
| 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume/sequential designation | 4741 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Lectures -- Caching in Backtracking Search -- Of Mousetraps and Men: A Cautionary Tale -- Application Papers -- Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite -- Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques -- Solving the Salinity Control Problem in a Potable Water System -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing -- An Efficient Model and Strategy for the Steel Mill Slab Design Problem -- Constraint-Based Temporal Reasoning for E-Learning with LODE -- Scheduling for Cellular Manufacturing -- Full Research Papers -- A Constraint Store Based on Multivalued Decision Diagrams -- GAC Via Unit Propagation -- Solution Directed Backjumping for QCSP -- Reformulating CSPs for Scalability with Application to Geospatial Reasoning -- A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects -- Local Symmetry Breaking During Search in CSPs -- Encodings of the Sequence Constraint -- On Inconsistent Clause-Subsets for Max-SAT Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming -- Tradeoffs in the Complexity of Backdoor Detection -- Model-Driven Visualizations of Constraint-Based Local Search -- Dealing with Incomplete Preferences in Soft Constraint Problems -- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure -- MUST: Provide a Finer-Grained Explanation of Unsatisfiability -- An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search -- Limitations of Restricted Branching in Clause Learning -- Dynamic Management of Heuristics for Solving Structured CSPs -- A Compression Algorithm for Large Arity Extensional Constraints -- Valid Inequality Based Lower Bounds for WCSP -- Advisors for Incremental Propagation -- Breaking Symmetry of Interchangeable Variables and Values -- Path Consistency by Dual Consistency -- Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance -- Scheduling Conditional Task Graphs -- Towards Robust CNF Encodings of Cardinality Constraints -- AND/OR Multi-valued Decision Diagrams for Constraint Optimization -- Parallelizing Constraint Programs Transparently -- MiniZinc: Towards a Standard CP Modelling Language -- Propagation = Lazy Clause Generation -- Boosting Probabilistic Choice Operators -- A Multi-engine Solver for Quantified Boolean Formulas -- Decomposing Global Grammar Constraints -- Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval Disjunction -- An LP-Based Heuristic for Optimal Planning -- A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs -- On Universal Restart Strategies for Backtracking Search -- Hierarchical Hardness Models for SAT -- SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT -- Filtering for Subgraph Isomorphism -- Solution Counting Algorithms for Constraint-Centered Search Heuristics -- Min-Domain Ordering for Asynchronous Backtracking -- Short Research Papers -- Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario -- Uncertainty in Bipolar Preference Problems -- An Analysis of Slow Convergence in Interval Propagation -- The Expressive Power of Valued Constraints: Hierarchies and Collapses -- Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks -- The Log-Support Encoding of CSP into SAT -- Groupoids and Conditional Symmetry -- Sampling Strategies and Variable Selection in Weighted Degree Heuristics -- A Case for Simple SAT Solvers -- CP-Based Local Branching -- Strong Controllability of Disjunctive Temporal Problems with Uncertainty -- Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms -- Constraint Symmetry for the Soft CSP -- Breaking Value Symmetry. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) was held in Providence, RI, USA, September 23-27, 2007, in conjunction with the International Conference on Automated Pl- ning and Scheduling (ICAPS). Held annually, the CP conference series is the premier international conference on constraint programming. The conference focuses on all aspects of computing with constraints. The CP conference - ries is organized by the Association for Constraint Programming (ACP). - formation about the conferences in the series can be found on the Web at http://www. cs. ualberta. ca/~ai/cp/. Information about ACP can be found athttp://www. a4cp. org/. CP 2007 launched two calls for contributions: a call for research papers, describing novel contributions in the ?eld, and a call for application papers, describing applications of constraint technology in the industrial world. The research track received 143 submissions and the application track received 22 submissions. Research papers were reviewed under a double-blind scheme. They received three reviews that the authors had the opportunity to see and to react tobeforethepapersandtheirreviewswerediscussedextensivelybythemembers of the ProgramCommittee. Application papers werereviewedby a separate- plication Committee. The Program Committee and the Application Committee then selected 43 researchpapers and 9 application papers to be published in full inthe proceedings,andanadditional14researchpapersto be publishedas short papers. The full papers were presented at the conference in two parallel tracks and the short papers were presented in a poster session. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software engineering. |
| 9 (RLIN) | 4138 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming. |
| 9 (RLIN) | 4169 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Compilers (Computer programs). |
| 9 (RLIN) | 3350 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial intelligence. |
| 9 (RLIN) | 3407 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science. |
| 9 (RLIN) | 9832 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Machine theory. |
| 9 (RLIN) | 157228 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software Engineering. |
| 9 (RLIN) | 4138 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Programming Techniques. |
| 9 (RLIN) | 157229 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Compilers and Interpreters. |
| 9 (RLIN) | 31853 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial Intelligence. |
| 9 (RLIN) | 3407 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Science Logic and Foundations of Programming. |
| 9 (RLIN) | 42203 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal Languages and Automata Theory. |
| 9 (RLIN) | 157230 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bessiere, Christian. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 157231 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 9 (RLIN) | 157232 |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783540749691 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783540843917 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume/sequential designation | 4741 |
| 9 (RLIN) | 157233 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-540-74970-7">https://doi.org/10.1007/978-3-540-74970-7</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-Lecture Notes in CS |
No items available.