



LEADER 
05819nmm a2200445 u 4500 
001 
EB001884742 
003 
EBX01000000000000001048109 
005 
00000000000000.0 
007 
cr 
008 
191115  eng 
020 


a 9783540494812

100 
1 

a Maher, Michael
e [editor]

245 
0 
0 
a Principles and Practice of Constraint Programming  CP98
h Elektronische Ressource
b 4th International Conference, CP98, Pisa, Italy, October 2630, 1998, Proceedings
c edited by Michael Maher, JeanFrancois Puget

250 


a 1st ed. 1998

260 


a Berlin, Heidelberg
b Springer Berlin Heidelberg
c 1998, 1998

300 


a XIV, 490 p
b online resource

505 
0 

a Optimal Placement of Base Stations in Wireless Indoor Telecommunication

505 
0 

a Invited Papers  Open Constraint Programming  Constructing Constraints  The Dynamics of Dynamic Variable Ordering Heuristics  Submitted Papers  On Completion of Constraint Handling Rules  Errorcorrecting Source Code  Optimized Qpivot for Exact Linear Solvers  Constraint Techniques for Solving the Protein Structure Prediction Problem  Global Constraints for Partial CSPs: A CaseStudy 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 ConstraintBased Matchmaker Agents  Compiling Semiringbased Constraints with clp(FD,S)  Combining Topological and Qualitative Size Constraints for Spatial Reasoning 

505 
0 

a 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 MultiCapacitated Resources under Complex Temporal Constraints  Implementing Global Constraints with IndexSets and Constraint Templates  Generating feasible schedules for a pickup 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 Assertionbased 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 

505 
0 

a Constraint Representation for Propagation  A Unified Framework for Interval Constraints and Interval Arithmetic  Constraintbased 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  Nonsystematic 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 

653 


a Compilers (Computer programs)

653 


a Computer Science Logic and Foundations of Programming

653 


a Compilers and Interpreters

653 


a Software engineering

653 


a Programming Techniques

653 


a Computer science

653 


a Computer programming

653 


a Artificial Intelligence

653 


a Software Engineering

653 


a Formal Languages and Automata Theory

653 


a Machine theory

653 


a Artificial intelligence

700 
1 

a Puget, JeanFrancois
e [editor]

041 
0 
7 
a eng
2 ISO 6392

989 


b SBA
a Springer Book Archives 2004

490 
0 

a Lecture Notes in Computer Science

028 
5 
0 
a 10.1007/3540494812

856 
4 
0 
u https://doi.org/10.1007/3540494812?nosfx=y
x Verlag
3 Volltext

082 
0 

a 005.1

520 


a 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
