Principles and Practice of Constraint Programming - CP98 (Record no. 187885)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 06626nam a22006375i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-49481-2 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240423132441.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 | 121227s1998 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540494812 |
-- | 978-3-540-49481-2 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/3-540-49481-2 |
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 - CP98 |
Medium | [electronic resource] : |
Remainder of title | 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / |
Statement of responsibility, etc | edited by Michael Maher, Jean-Francois Puget. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 1998. |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
-- | 1998. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XIV, 490 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 | 1520 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Invited Papers -- Open Constraint Programming -- Constructing Constraints -- The Dynamics of Dynamic Variable Ordering Heuristics -- Submitted Papers -- On Completion of Constraint Handling Rules -- Error-correcting Source Code -- Optimized Q-pivot for Exact Linear Solvers -- Constraint Techniques for Solving the Protein Structure Prediction Problem -- Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints -- Using Graph Decomposition for Solving Continuous CSPs -- Anytime Lower Bounds for Constraint Violation Minimization Problems -- Introducing External Functions in Constraint Query Languages -- A Note on Partial Consistencies over Continuous Domains -- Consistency Techniques in Ordinary Differential Equations -- Early Projection in CLP(R) -- Suggestion Strategies for Constraint-Based Matchmaker Agents -- Compiling Semiring-based Constraints with clp(FD,S) -- Combining Topological and Qualitative Size Constraints for Spatial Reasoning -- Constraint Representation for Propagation -- A Unified Framework for Interval Constraints and Interval Arithmetic -- Constraint-based Problem Decomposition for a Key Configuration Problem -- Fuzzifying the Constraint Hierarchies Framework -- Constraints for Object Recognition in Aerial Images —Handling of Unobserved Features -- Salsa: A Language for Search Algorithms -- Random Constraint Satisfaction: theory meets practice -- A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications -- Safe Datalog Queries with Linear Constraints -- Non-systematic Search and Learning: An empirical study -- A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems -- Linear concurrent constraint programming over reals -- Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems -- APolynomial Time Local Propagation Algorithm for General Datafow Constraint Problems -- Stable Solutions for Dynamic Constraint Satisfaction Problems -- Posters -- Generation of Test Patterns for Differential Diagnosis of Digital Circuits -- Combine & Conquer: Genetic Algorithm and CP for Optimization -- Some Experiments on Learning Soft Constraints -- Scheduling Multi-Capacitated Resources under Complex Temporal Constraints -- Implementing Global Constraints with Index-Sets and Constraint Templates -- Generating feasible schedules for a pick-up and delivery problem -- An Impartial Efficiency Comparison of FD Constraint Systems -- Optimizing with constraints: a case study in scheduling maintenance of electric power units -- Some Surprising Regularities in the Behaviour of Stochastic Local Search -- Modelling CSP Solution Algorithms with Petri Decision Nets -- A Framework for Assertion-based Debugging in Constraint Logic Programming -- Parallel Execution Models for Constraint Propagation -- Using Blocks for Constraint Satisfaction -- Adaptive Solving of Equations over Rational Trees -- Telecommunication Application -- Optimal Placement of Base Stations in Wireless Indoor Telecommunication. |
520 ## - SUMMARY, ETC. | |
Summary, etc | Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP’98), held in Pisa, Italy, 26{30 - tober, 1998. It is the fourth in this series of conferences, following conferences in Cassis (France), Cambridge (USA), and Schloss Hagenberg (Austria). We received 115 high quality submissions. In addition, 7 abstracts submissions were not followed by a full paper, hence were not counted as submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members. We thank the referees and the program committee for the time and e ort spent in reviewing the papers. The program committee invited three speakers: { Joxan Ja ar { Peter Jeavons { Patrick Prosser Their papers are in this volume. |
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 | Maher, Michael. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Puget, Jean-Francois. |
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 | 9783540652243 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783662183908 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Lecture Notes in Computer Science, |
-- | 1611-3349 ; |
Volume number/sequential designation | 1520 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-49481-2">https://doi.org/10.1007/3-540-49481-2</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.