Principles and Practice of Constraint Programming - CP97 (Record no. 188320)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05645nam a22006255i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-69642-1 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132505.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 | 121227s1997 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540696421 |
| -- | 978-3-540-69642-1 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/BFb0017424 |
| 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 - CP97 |
| Medium | [electronic resource] : |
| Remainder of title | Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / |
| Statement of responsibility, etc | edited by Gert Smolka. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 1997. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 1997. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 572 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 1330 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Visual Solver A modeling language for constraint programming -- Narrowing a 2n-block of sortings in O (n logn) -- Solving various weighted matching problems with constraints -- A filtering algorithm for global sequencing constraints -- Semantics and expressive power of a timed concurrent constraint language -- Solving classes of set constraints with tree automata -- The logic of search algorithms: Theory and applications -- Verification of parallel systems using constraint programming -- Random constraint satisfaction: A more accurate picture -- Heavy-tailed distributions in combinatorial search -- Counting, structure identification and maximum consistency for binary constraint satisfaction problems -- Statistical analysis of backtracking on inconsistent CSPs -- Using constraint propagation for complex scheduling problems: Managing size, complex resources and travel -- Understanding and improving the MAC algorithm -- Modelling exceptionally hard constraint satisfaction problems -- Tabu search for maximal constraint satisfaction problems -- Reconfigurable architectures: A new vision for optimization problems -- Distributed partial constraint satisfaction problem -- Localizer A modeling language for local search -- Operational semantics and confluence of constraint propagation rules -- AC-unification of higher-order patterns -- On the complexity of unification and disunification in commutative idempotent semigroups -- Ordering constraints over feature trees -- From restricted path consistency to max-restricted path consistency -- The constrainedness of Arc consistency -- Look-ahead versus look-back for satisfiability problems -- Why adding more constraints makes a problem easier for hill-climbing algorithms: Analyzing landscapes of CSPs -- Interval methods for non-linear constraints -- Configurablesolvers: Tailoring general methods to specific applications -- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems -- Five pitfalls of empirical scheduling research -- Bounding the optimum of constraint optimization problems -- GENIUS-CP: A generic single-vehicle routing algorithm -- Satisfiability of quantitative temporal constraints with multiple granularities -- Tractable recursion over geometric data -- Finding solvable subsets of constraint graphs -- Tractable disjunctive constraints -- Compiling constraint solving using projection -- Oscillation, heuristic ordering and pruning in neighborhood search -- Programming constraint inference engines -- NeMo+: Object-oriented constraint programming environment based on subdefinite models -- Set constraints: A pearl in research on constraints. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997. The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks and three tutorials. The papers address all current aspects of constraint programming. Among the topics covered are constraint matching, constraint languages, set constraints, constraint search, constraint satisfaction problems, scheduling, constraint routing, temporal constraints, constraint graphs, local search, object-oriented constraint programming, etc. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers (Computer programs). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers and Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Smolka, Gert. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540637530 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662188705 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 1330 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/BFb0017424">https://doi.org/10.1007/BFb0017424</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.