عنوان

Principles and practice of constraint programming--CP'97 :

(Number (ISBN

3540637532

(Number (ISBN

9783540637530

Number

b552315

Title Proper

Principles and practice of constraint programming--CP'97 :

General Material Designation

[Book]

Other Title Information

Third International Conference, CP'97, Linz, Austria, October 29-November 1, 1997 : proceedings

First Statement of Responsibility

Gert Smolka (ed.).

Place of Publication, Distribution, etc.

Berlin ; New York

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

©1997.

Specific Material Designation and Extent of Item

xii, 561 pages : illustrations ; 24 cm

Series Title

Lecture notes in computer science, 1330.

Text of 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.- Configurable solvers: 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.

Constraint programming (Computer science)

Constraint programming (Computer science) -- Congresses.

Programmatuurtechniek.

Gert Smolka (ed.).

Gert Smolka

Electronic name

[Book]

Y