KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Recent Advances in Constraints
  • Produktbild: Recent Advances in Constraints
Band 2627

Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Abstract Verification and Debugging of Constraint Logic Programs.- CGRASS: A System for Transforming Constraint Satisfaction Problems.- Interchangeability in Soft CSPs.- Towards Automated Reasoning on the Properties of Numerical Constraints.- Domain-Heuristics for Arc-Consistency Algorithms.- Computing...

Beschreibung

Abstract Verification and Debugging of Constraint Logic Programs.- CGRASS: A System for Transforming Constraint Satisfaction Problems.- Interchangeability in Soft CSPs.- Towards Automated Reasoning on the Properties of Numerical Constraints.- Domain-Heuristics for Arc-Consistency Algorithms.- Computing Explanations and Implications in Preference-Based Configurators.- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.- A Note on Redundant Rules in Rule-Based Constraint Programming.- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.- A Local Search Algorithm for Balanced Incomplete Block Designs.- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.- POOC - A Platform for Object-Oriented Constraint Programming.- A Coordination-Based Framework for Distributed Constraint Solving.- Visopt ShopFloor: Going Beyond Traditional Scheduling.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

07.04.2003
Abbildungen

X, 210 p.
Herausgeber Barry O'Sullivan

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

07.04.2003
Abbildungen

X, 210 p.
Herausgeber Barry O'Sullivan
Verlag Springer Berlin
Seitenzahl

210
Maße (L/B/H)

23,5/15,5/1,3 cm
Gewicht

341 g
Auflage

2003
Sprache

Englisch
ISBN

978-3-540-00986-3
Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Recent Advances in Constraints
  • Produktbild: Recent Advances in Constraints
  • Abstract Verification and Debugging of Constraint Logic Programs.- CGRASS: A System for Transforming Constraint Satisfaction Problems.- Interchangeability in Soft CSPs.- Towards Automated Reasoning on the Properties of Numerical Constraints.- Domain-Heuristics for Arc-Consistency Algorithms.- Computing Explanations and Implications in Preference-Based Configurators.- Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.- A Note on Redundant Rules in Rule-Based Constraint Programming.- A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.- A Local Search Algorithm for Balanced Incomplete Block Designs.- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.- POOC — A Platform for Object-Oriented Constraint Programming.- A Coordination-Based Framework for Distributed Constraint Solving.- Visopt ShopFloor: Going Beyond Traditional Scheduling.