05346nam a22005295i 4500001001800000003000900018005001700027007001500044008004100059020001800100024002800118050001300146072001600159072001500175072002300190082001400213245020700227264006100434300003400495336002600529337002600555338003600581347002400617490005800641505270700699520070703406650002204113650002604135650002604161650005004187650002004237650002404257650002904281650002204310650006004332650002804392650005204420650004604472650003704518650004504555700002704600710003404627773002004661776003604681830005804717856004104775978-3-540-69642-1DE-He21320170515111449.0cr nn 008mamaa121227s1997 gw | s |||| 0|eng d a97835406964217 a10.1007/BFb00174242doi 4aQA76.758 7aUMZ2bicssc 7aUL2bicssc 7aCOM0512302bisacsh04a005.122310aPrinciples and Practice of Constraint Programming-CP97h[electronic resource] :bThird International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings /cedited by Gert Smolka. 1aBerlin, Heidelberg :bSpringer Berlin Heidelberg,c1997. aXII, 572 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aLecture Notes in Computer Science,x0302-9743 ;v13300 aVisual 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. aThis 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. 0aComputer science. 0aSoftware engineering. 0aComputer programming. 0aProgramming languages (Electronic computers). 0aComputer logic. 0aMathematical logic. 0aArtificial intelligence.14aComputer Science.24aSoftware Engineering/Programming and Operating Systems.24aProgramming Techniques.24aProgramming Languages, Compilers, Interpreters.24aArtificial Intelligence (incl. Robotics).24aLogics and Meanings of Programs.24aMathematical Logic and Formal Languages.1 aSmolka, Gert.eeditor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9783540637530 0aLecture Notes in Computer Science,x0302-9743 ;v133040uhttp://dx.doi.org/10.1007/BFb0017424