A uniform framework for constraint satisfaction problems

Hard, flexible and dynamic constraint satisfaction

Miguel, Ian
Shen, Qiang

September 1999

Constraint satisfaction is a fundamental artificial intelligence technique offering a simple yet pow...

An exact algorithm for the constraint satisfaction problem : application to dependance computing in automatic parallelization

Bennacoeur, Hachemi
Plateau, Gerard
Thomasset, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Local consistency for extended CSPs

Maher, Michael J.

November 2009

AbstractWe extend the framework of Constraint Satisfaction Problems to make it more suitable for/app...

CONSAT - foundations of a system for constraint satisfaction Draft

Guesgen, H.W.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1987

SIGLETIB: in FR 821 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblio...

Valued constraint satisfaction problems : hard and easy problems

Schiex, Thomas
Fargier, Hélène
Verfaillie, Gérard

August 1995

* INRA, centre de Toulouse Diffusion du document : INRA, centre de ToulouseInternational audienc

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Constraint processing in computer-aided design Proceedings of the AID'94 workshop W9

Hower, W.
Haroud, D.
Ruttkay, Z. (eds.)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

SIGLEAvailable from TIB Hannover: RO 6844(1994,18) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Constraint-based Problem Solving in M0

Pierre-antoine Queloz

January 1998

This report is about the realization of a library of MØ functions to describe and solve various cons...

Distributed constraint propagation: A case study

Rheinfrank, M.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Combination of constraint systems

Kepser, S.

January 1998

Summary in GermanSIGLEAvailable from TIB Hannover: RR 7403(98,118) / FIZ - Fachinformationszzentrum ...

Constraint satisfaction - algorithms and complexity analysis

Hower, W.
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

The constraint satisfaction problem (CSP) comprises n variables with associated finite domains (with...

Effizientes Constraintlösen in dynamischen Sprachen

Frank, Stephan

May 2011

Die Verwendung von Constraints ermöglicht die deklarative Beschreibung von Problemen mit unvollständ...

Constraints - eine Wissensrepraesentationsform Ueberblick

Guesgen, H.W.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik

January 1985

TIB: RN 9844 (173) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Solution synthesis in the constraint satisfaction problem

Tsang, E.
Foster, N
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:9109.3968(EU-DCS-CSM--142) / BLDSC -...

Constraint satisfaction problems: algorithms and applications

Brailsford, S.C.
Potts, C.N.
Smith, B.M.

January 1998

A constraint satisfaction problem requires a value, selected from a given finite domain, to be assig...

Hard, flexible and dynamic constraint satisfaction

Miguel, Ian
Shen, Qiang

September 1999

Constraint satisfaction is a fundamental artificial intelligence technique offering a simple yet pow...

An exact algorithm for the constraint satisfaction problem : application to dependance computing in automatic parallelization

Bennacoeur, Hachemi
Plateau, Gerard
Thomasset, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Local consistency for extended CSPs

Maher, Michael J.

November 2009

AbstractWe extend the framework of Constraint Satisfaction Problems to make it more suitable for/app...

CONSAT - foundations of a system for constraint satisfaction Draft

Guesgen, H.W.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1987

SIGLETIB: in FR 821 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbiblio...

Valued constraint satisfaction problems : hard and easy problems

Schiex, Thomas
Fargier, Hélène
Verfaillie, Gérard

August 1995

* INRA, centre de Toulouse Diffusion du document : INRA, centre de ToulouseInternational audienc

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Constraint processing in computer-aided design Proceedings of the AID'94 workshop W9

Hower, W.
Haroud, D.
Ruttkay, Z. (eds.)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

SIGLEAvailable from TIB Hannover: RO 6844(1994,18) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Constraint-based Problem Solving in M0

Pierre-antoine Queloz

January 1998

This report is about the realization of a library of MØ functions to describe and solve various cons...

Distributed constraint propagation: A case study

Rheinfrank, M.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Combination of constraint systems

Kepser, S.

January 1998

Summary in GermanSIGLEAvailable from TIB Hannover: RR 7403(98,118) / FIZ - Fachinformationszzentrum ...

Constraint satisfaction - algorithms and complexity analysis

Hower, W.
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

The constraint satisfaction problem (CSP) comprises n variables with associated finite domains (with...

Effizientes Constraintlösen in dynamischen Sprachen

Frank, Stephan

May 2011

Die Verwendung von Constraints ermöglicht die deklarative Beschreibung von Problemen mit unvollständ...

Constraints - eine Wissensrepraesentationsform Ueberblick

Guesgen, H.W.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik

January 1985

TIB: RN 9844 (173) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Solution synthesis in the constraint satisfaction problem

Tsang, E.
Foster, N
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:9109.3968(EU-DCS-CSM--142) / BLDSC -...

Constraint satisfaction problems: algorithms and applications

Brailsford, S.C.
Potts, C.N.
Smith, B.M.

January 1998

A constraint satisfaction problem requires a value, selected from a given finite domain, to be assig...

Hard, flexible and dynamic constraint satisfaction

Miguel, Ian
Shen, Qiang

September 1999

Constraint satisfaction is a fundamental artificial intelligence technique offering a simple yet pow...

An exact algorithm for the constraint satisfaction problem : application to dependance computing in automatic parallelization

Bennacoeur, Hachemi
Plateau, Gerard
Thomasset, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Local consistency for extended CSPs

Maher, Michael J.

November 2009

AbstractWe extend the framework of Constraint Satisfaction Problems to make it more suitable for/app...

A uniform framework for constraint satisfaction problems

Abstract

Extracted data

A uniform framework for constraint satisfaction problems

Abstract

Extracted data

Related items

Related items