Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 1999
Genre:	EDV / Informatik
	Algorithm / Algorithms / automatedtheoremproving / Classification / constraint-basedsearch / constraintprogramming / ConstraintPropagation / constraintreasoning / ConstraintSatisfaction / Intelligenz / Künstliche Intelligenz / KI / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / logicprogramming / Optimization / Programmiersprachen / Programming / proving / SetConstraints / Software Engineering / Theoretische Informatik mehr...
ISBN:	9783540666264
EAN-Code:	9783540666264
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 28 mm
Gewicht:	774 gr
Seiten:	516
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Papers.- The Rough Guide to Constraint Propagation.- Non-binary Constraints.- The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization.- Regular Papers.- Operational Equivalence of CHR Programs and Constraints.- Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.- Excluding Symmetries in Constraint-Based Search.- On Forward Checking for Non-binary Constraint Satisfaction.- Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly.- Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP.- Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.- A Meta-Heuristic Factory for Vehicle Routing Problems.- Closure Functions and Width 1 Problems.- An Overview of HAL.- Cost-Based Domain Filtering.- Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques.- Optimal Distributed Arc-Consistency.- The Goldilocks Problem.- Multistep Filtering Operators for Ordinary Differential Equations.- A Framework for Constraint Programming Based Column Generation.- Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems.- Applying Constraint Programming to Protein Structure Determination.- Partition-Based Lower Bound for Max-CSP.- Constraint Diagram Reasoning.- Automatic Generation of Music Programs.- Search Procedures and Parallelism in Constraint Programming.- Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search.- Tight Cooperation and Its Application in Piecewise Linear Optimization.- Arc Consistency for Global Cardinality Constraints with Costs.- The Brélaz Heuristic and Optimal Static Orderings.- A Fixpoint Definition of Dynamic Constraint Satisfaction.- Solving SatisfiabilityProblems on FPGAs Using Experimental Unit Propagation.- On the Behavior and Application of Constraint Weighting.- Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization.- Poster Papers.- On SAT01 Problem.- An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.- CSPlib: A Benchmark Library for Constraints.- Validated Constraint Compilation.- Automated Theorem Proving with Disjunctive Constraints.- Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms.- Intelligent Domain Splitting for CSPs with Ordered Domains.- Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques.