fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

O'Sullivan

Recent Advances in Constraints

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

Medium: Buch
ISBN: 978-3-540-00986-3
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 07.04.2003
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the ?rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri?cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving.

Produkteigenschaften

  • Artikelnummer: 9783540009863
  • Medium: Buch
  • ISBN: 978-3-540-00986-3
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 07.04.2003
  • Sprache(n): Englisch
  • Auflage: 2003
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 341 g
  • Seiten: 210
  • Format (B x H x T): 155 x 235 x 13 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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.