Stichwortverzeichnis

überbestimmt

4.3 | 4.3 | 4.3 | 4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 4.6 | 9.2

(i,j)-consistency

5.2.3.6

2B-Konsistenz

5.3.5 | 5.3.5 | 5.3.5 | 5.3.5 | 5.3.5.1 | 5.3.5.1 | 5.3.5.1 | 5.3.5.1 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.6 | 5.4 | 5.4 | 5.4 | 7.6 | 7.6 | E.8.1

3B-Konsistenz

5.3.5 | 5.3.5 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.6 | 5.3.6.2 | 5.3.7.2 | 5.4 | 5.4

4B-Konsistenz

5.3.5.2

$2^k$-Baum

-Methode

5.3.7

$2^k$-Baum

5.3.7

$2^k$-Baum

5.3.7

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.1

$2^k$-Baum

5.3.7.2

$2^k$-Baum

-Methode

5.3.7.2

$2^k$-Baum

-Methode

5.4

$2^k$-Baum

-Methode

5.4

$2^k$-Baum

5.4

$2^k$-Baum

-Methode

5.4

$2^k$-Baum

-Methode

5.4

AC

5.2.1 | 5.2.3.1 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.5 | 5.2.3.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.5.1 | 5.4 | 7.6 | 7.6 | 7.6 | E.6.1 | E.6.1 | E.6.2 | E.6.2 | E.6.3 | E.6.4 | Fachbegriffliche

AC-1

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5

AC-2

5.2.1 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3

AC-2000

5.2.3.3 | 5.2.3.5 | 5.4

AC-2001

5.2.3.3 | 5.2.3.3 | 5.2.3.5 | 5.4

AC-3

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5 | 5.2.3.6 | 5.2.6.1 | 5.2.6.1 | 5.3.5.3 | 5.3.6 | 5.3.6.2 | 5.4 | 7.6 | 7.6 | E.6.1 | E.6.1 | E.6.1

AC-3.1

5.2.3.3 | 5.2.3.3 | 5.2.3.5 | 5.4

AC-4

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5 | 5.2.3.6 | 5.2.3.6 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.4

AC-5

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.5

AC-5*

5.2.3.3

AC-6

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5 | 5.2.4.5

AC-6++

5.2.3.3

AC-6++++

5.2.3.3 | 5.2.3.3 | 5.2.3.4

AC-7

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.5 | 5.2.3.6 | 5.2.3.6 | 5.2.6.1

AC-8

5.2.3.3 | 5.2.3.5 | 5.4

AC-$3_d$

5.2.3.3

AC-$3_d$

5.2.3.3

AC-$3_d$

5.2.3.3

AC-$3_d$

5.2.3.3

AC-$3_d$

5.2.3.5

AC-$3_d$

5.4

ACS

4.4.4 | 4.4.4 | 4.5.2 | Fachbegriffliche

ACSP

4.4.4 | 4.4.4 | 4.4.4 | 4.6 | 9.2 | Fachbegriffliche

adaptive consistency

5.4

adaptive consistency

5.2.3.6

Adaptive CSP

see ACSP

agenda-basiert

3.5.1

Agent

4.4.4 | 4.4.4 | 4.4.4 | 4.4.4 | 4.5.4.1 | G. | G.

Aktivitäts-Constraint

4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.4 | 9.2

ALIAS

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2

anytime-Algorithmen

5.2.2

Apache-Lizenz

G.

arc B-consistency

5.3.5

arc consistency

see AC

Asynchronous Constraint Solving

see ACS

a posteriori Reduktion

5.2.4

a priori Reduktion

5.2.3

B-Prolog

4.5.2 | 4.5.2

Baan SalesPlus

Baan | Baan | Baan | Baan

Backchecking

see BC

Backjumping

see BJ

Backmarking

see BM

BackTalk

4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3

Backtracking

see BT

Backus-Naur-Form

see BNF

BALI

4.5.4.2 | 4.5.4.2 | 4.5.4.2 | 4.5.4.2 | 4.5.4.2 | 4.5.4.2

Barták, Roman

4.5

Baumann, Helge

Kolophon

BC

5.2.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.4 | Fachbegriffliche

BC-3

5.3.6.2

BC-4

5.3.6.2 | 5.3.6.2

BC$_{\varphi}$

5.3.6.2

BC$_{\varphi}$

5.3.6.2

bedingte Propagation

2.2.3 | A.3 | ConBaCon

Beek, Peter van

4.5.2

begriffshierarchie-orientiert

2.3 | 3.5

Benhamou, Frédéric

5.3.5.3 | 5.3.6

Beschränkungsgrad

4.3

Beschreibungslogik

ILOG | ILOG | ILOG

Beschränkungsgrad

4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.4.3 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.6.1

Bessière, Christian

5.2.3.3 | 5.2.3.3 | 5.2.6.1 | 8.3

Bison

7.5

BJ

5.2.4 | 5.2.4.3 | 5.2.4.3 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.5.2 | 5.2.5.2 | 5.4 | 5.4 | 6.4.3 | Fachbegriffliche

Black Box

3.6 | 3.8 | 6.4.3

Black Box

1.2 | 3.7.1 | 7.2 | 8.6

Blocks World

5.2.1 | G.

-Constraint

4.1 | 4.2

Blue

4.4.3

BM

5.2.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.4 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.4 | Fachbegriffliche

BM-CBJ

5.2.4.7

BMJ

5.2.4.7

BNF

7.5 | G. | G. | G. | Fachbegriffliche

BNR Prolog

4.5.1 | 4.5.1 | 4.6 | 5.3

boolesches Constraint

4.1 | 7.2 | 9.2

Borning, Alan

4.4.3

bounds consistency

5.2.6.3

bounds consistency

5.2.6.3 | 5.2.6.3

bounds consistency

5.2.6.3 | 5.2.6.3 | 5.2.6.3 | 5.3.6.2

Box-Konsistenz

5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6.1 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.3.6.2 | 5.4 | 5.4

Branch & Bound

G.

Branch & Prune

5.3.6.2

Branch & Bound

4.4.3

Branch & Bound

4.4.3 | 9.2

Branch & Prune

5.3.2

Brandeis Interval Arithmetic Constraint Solver

see IASolver

Breitensuche

3.1

Broy, Manfred

4.

Brute-Force

-Ansatz

4.4.4

-Suche

5.2.2

BSD-Lizenz

4.5.2 | G. | G. | Fachbegriffliche

BT

5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.4 | 5.2.4.2 | 5.2.4.2 | 5.2.4.2 | 5.2.4.2 | 5.2.4.2 | 5.2.4.2 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.6.1 | 5.3.2 | 5.3.2 | 5.4 | 7.6 | E.7.1 | E.7.5 | Fachbegriffliche

Buchberger-Algorithmus

5.1

C

4.5.1 | 4.5.1 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2

C#

ILOG

C++++

4.5.1 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.3 | 4.5.3 | CAS-Konfigurator | ILOG

C-Lib

4.5.2 | 4.5.2 | 4.5.2 | 4.5.4.2

CAD-Algorithmus

5.1

CAL

4.5.1 | Fachbegriffliche

Cameleon EPOS

Cameleon

camos.Configurator

camos.Configurator

CARD

5.2.5.1

CAS-Konfigurator

CAS-Konfigurator

Cassowary

4.4.3 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2

CBJ

5.2.4.3 | 5.2.4.3 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.4 | 9.1 | Fachbegriffliche

CCP

4.4.4 | 4.4.4 | 4.4.4 | 4.5.1 | 4.5.4.1 | 8.5 | Fachbegriffliche

CCSP

5.3 | Fachbegriffliche

CHIP

4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 5.2.5.1 | ConBaCon | Fachbegriffliche

Chmeiss, Assef

5.2.3.4

CHR

4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.6 | 4.6 | Fachbegriffliche

Chun, Andy Hon Wai

4.5.2

CIAL

4.5.1 | Fachbegriffliche

Clarke, Arthur C.

3.

Cleary, John G.

5.3 | 5.3.2

CLIP

4.5.1 | 4.5.1

CLOS

1.1 | Fachbegriffliche

closed world assumption

see CWA

closure

5.2.3.4 | 5.3.5.2

CLP

4.1 | 4.1 | 4.4.3 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.2 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.4.2 | 4.6 | 4.6 | 5.2.3.3 | 5.2.5.1 | 5.3 | 5.3 | 5.3.2 | Fachbegriffliche

CLP(BNR)

4.5.1 | 4.5.1 | 4.6 | 5.3 | Fachbegriffliche

CLP(FD)

4.5.1 | 4.5.1 | 4.5.1 | ConBaCon | Fachbegriffliche

CLP(Intervals)

4.5.1 | Fachbegriffliche

CLP(R)

4.5.1 | 4.5.1 | 4.5.1 | Fachbegriffliche

Clusteranalyse

5.3.2 | G.

Clustering

5.3.2 | G.

CN

5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1

Cocos

Lava | ILOG

COMIX

COMIX

Common Lisp Object System

Fachbegriffliche

CompCSP

4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 9.2 | Fachbegriffliche

Composite CSP

see CompCSP

compound label

5.2.2 | 5.2.2

Concurrent CP

see CCP

CondCSP

4.4.2 | 4.4.2 | 4.4.2 | 4.4.4 | 9.2 | Fachbegriffliche

Conditional CSP

see CondCSP

conflict set

5.2.4.3

conflict set

5.2.4.3

conflict set

5.2.4.3

conflict set

5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.7

CONSAT

3.6

Consistent Labeling Problem

5.2 | 5.2.1

Constraint

4.1 | G.

-Framework

4.5

-Graph

5.2

-Handler

4.5.3

-Hierarchien

4.4.3 | 4.4.3 | 4.4.3

-Netz

2.2.3 | 4.1 | 4.1 | 4.1 | 5.2

-Propagation

2.2.3 | 5.2.3.1 | 5.2.3.1 | 5.2.3.1 | 5.2.3.1 | G. | G. | G.

-Relation

3.6.1 | 3.6.2 | 3.6.2 | 3.6.2

-Relaxierung

4.4.2 | 4.4.3 | 4.4.3 | 4.5.2 | 4.5.2 | 9.2

-System

G. | G.

-Wissen

3.6 | 3.6.2

Aktivitäts-

4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.4 | 9.2

algebraisches

4.2 | 9.1 | G.

Blocks-World-

4.1 | 4.2

boolesches

4.1 | 7.2 | 9.2

extensionales

3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.7.2 | 5.2.3.3 | 5.2.6.1 | 5.2.6.2 | 5.2.6.2

FD-

4.4.1

Funktions-

4.1

Fuzzy-

4.4.3 | 4.4.3 | 4.4.3

generisches

3.7.2 | 3.7.2 | 4.4.2 | 4.4.2 | 4.6 | 9.2 | Lava

heterogenes

1.3 | 4.4.4 | 4.6 | 4.6 | 6. | 6.4.2 | 6.4.2 | 6.4.3

intensionales

4.5.2 | 4.5.3 | 5.2.6.1

Intervall-

4.4.1 | 7.2

Java-

3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.7.2 | 3.7.2 | 3.8 | 4.1

konzeptuelles

4.4.2

lineares

5.1

Meta-

4.4.2

Mixed-

4.4.4 | 4.4.4 | 4.4.4

nichtlineares

5.1 | 5.1

polynomielles

4.5.1 | 4.5.3 | 5.1

Prädikat-

4.1

reellwertiges

7.2

räumliches

4.1

Sequenz-

4.1

temporales

4.1

totales

4.1 | 4.3 | 5.3.5.3 | 5.3.5.3 | 5.3.7.1 | 5.3.7.1

Tree-

4.1

Tupel-

3.6.2 | 3.6.2 | 3.6.2 | 3.6.3 | 3.7.2 | 3.7.2 | 3.8 | 3.8 | 4.1 | 4.5.2 | 4.5.2

Constraint Handling Rules

see CHR

Constraint Logic Programming

see CLP

constraint relaxation

see Constraint-Relaxierung

Constraint Satisfaction Problem

see CSP

Constraint-Dichte

4.3 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6

Constraint-Problem

überbestimmt

4.3 | 4.3 | 4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 4.6 | 9.2

heterogen

6.4.2 | 6.4.2 | 6.4.3 | 6.6 | 6.6 | 6.6

hybrid

1.3 | 6. | 6.4

Meta-

6.4.2 | 6.4.2

unterbestimmt

4.3 | 4.4.3 | 5.2.4.6 | 5.3 | 5.3.7 | Lava

wohlbestimmt

4.3

Constraint-Shell

4.5.2 | 9.2 | 9.2

Constraint Programming

see CP

constraint retraction

4.4.4 | 4.5.2 | 9.2

ConTalk

Lava

Continuous CSP

see CCSP

Cooper, Martin C.

5.2.3.5

CORBA

4.5.1 | G. | Fachbegriffliche

Cordier, Marie-Odile

5.2.3.3

COSMOS

2.2.4 | COSMOS | KIKon

CP

4.1 | 4.5.1 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.6 | 4.6 | 9.2 | 9.2 | Fachbegriffliche

CSP

4.4.1 | 4.4.2 | 4.4.2 | 4.4.2 | 4.6 | 4.6 | 5.2 | 5.4 | Fachbegriffliche

CSPLib

4.5 | 8.3

CUP

see Java CUP

Cutset Conditioning

5.2.2

Cutset Conditioning

5.3.4.2.1

CWA

3.4.1 | 3.4.1 | 3.5.2 | 4.4.4 | 4.6 | 9.2 | B. | Fachbegriffliche

Cycle-Cutset

5.2.2 | 5.3.4.2.1

Cygwin

4.5.1 | 4.5.1 | 4.5.2 | 4.5.2 | 4.6

DAC

5.2.3.5 | 5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.2.4.6 | 5.2.4.6 | 5.2.5.1 | 5.4 | Fachbegriffliche

Daly, Patrick W.

Kolophon

Datenbank

3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2

-Abfrage

3.6.2

-System

3.7.2

-Tabelle

3.6.2 | 3.6.2

Davis, Ernest

5.3 | 5.3.3

DCSP

2.2.3 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 4.4.2 | 9.2 | Fachbegriffliche

DDBT

5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.3.2 | B. | Fachbegriffliche

dead-end

5.2.4.2

Dechter, Rina

5.2.3.6 | 5.2.4.3 | 5.2.6.2

Declarative Java

see DJ

DecLIC

4.5.1

DEG

5.2.5.1 | 5.2.5.1 | E.7.2

DeltaBlue

4.4.3

DeltaStar

4.4.3

Dependency Directed Backtracking

see DDBT

DICE

4.5.4.2

directional arc consistency

see DAC

directional path consistency

see DPC

DisCSP

4.4.4 | 4.4.4 | 4.4.4 | 4.4.4 | 8.5 | 9.2 | Fachbegriffliche

diskontinuierlich

5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.4 | 5.3.4 | 5.3.5.2 | 5.3.5.2

Distributed CSP

see DisCSP

DJ

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | Fachbegriffliche

dom

5.2.5.1 | 7.1 | E.7.2 | Fachbegriffliche

dom/deg

5.2.5.1 | 7.6 | E.7.2 | E.7.2

domain splitting

5.3.2 | 5.3.2 | 5.3.2

domain wipe out

5.2.3 | 5.2.3.6 | 5.2.3.6 | 5.2.4.5 | 8.3.5.1 | 8.3.5.2

Domänen-Splitting

5.3 | 5.3.2 | 5.3.2 | 5.3.2

DPC

5.2.3.6 | 5.2.3.6 | 5.4 | Fachbegriffliche

DSR

5.2.5.1 | Fachbegriffliche

DTD

1.3 | 7.7.1 | 7.7.1 | 7.7.1 | 8.5 | C. | C. | C. | G. | Fachbegriffliche

DVO

5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | Fachbegriffliche

Dynamic CSP

see DCSP

dynamic search rearrangement

see DSR

dynamic variable ordering

see DVO

Dynamic Backtracking

5.3.2

dynamic domain splitting

5.3.2

dynamic splitting

5.3.4.2.1 | 5.3.4.2.1 | 5.3.4.2.1 | 5.3.4.2.2 | 5.3.4.2.2

DynDCSP

4.4.4

ECL$^i$PS$^e$

8.5

ECL$^i$PS$^e$

4.5.1

ECL$^i$PS$^e$

4.5.3

ECL$^i$PS$^e$

4.5.3

ECL$^i$PS$^e$

4.5.4.2

ECL$^i$PS$^e$

4.6

EJB

4.6 | 9.2 | ILOG | CAWICOMS | G. | G. | Fachbegriffliche

Elliot, Gordon L.

5.2.4.4

encoway

3.2 | 3.2

EngCon

3.

Enterprise Java Beans

see EJB

Entscheidungsbaum

2.3 | 4.4.4 | Cameleon | G.

Entscheidungstabelle

CAS-Konfigurator | G.

Entwurfsmuster

7.2 | 7.4 | 7.5.1 | 7.5.3 | 7.6

EPOS

see Cameleon EPOS

ET-EPOS

Cameleon

euklidische Körper

G. | G.

Exception

7.3 | 7.6 | 7.8 | 7.8 | 7.8 | 7.8 | 7.9.2 | 8.3.2 | 8.3.2 | 8.3.2 | E.9 | E.9 | E.9 | E.9 | E.9 | E.9 | E.9 | E.9 | E.9 | E.9

exceptionally hard problems

4.3

Expertensystem

2.1 | 2.1 | 2.1 | 2.1 | 2.1 | 2.1 | 2.1 | 2.2.1 | 2.2.1 | 2.2.1 | 2.2.1 | 2.2.1 | 3.2 | 3.2 | 3.5 | 3.5

-kern

3.2 | 3.2 | 3.2 | 3.2

extensional

3.6.2 | 3.6.2 | 3.7.2 | 3.8 | 5.2.2 | 5.2.3.4 | 5.2.3.4 | 5.2.6.1 | 5.2.6.2 | 5.2.6.2 | 5.2.6.2 | 5.2.6.2 | 5.2.6.2 | 5.4 | 5.4 | G. | G.

Constraint

3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.7.2 | 5.2.3.3 | 5.2.6.1 | 5.2.6.2 | 5.2.6.2

fail first

see FF

Faltings, Boi V.

5.3.5.3 | 5.3.7

FC

5.2.4 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.5 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.2 | 5.2.5.2 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.2 | 5.4 | 9.1 | Lava | Fachbegriffliche

FC-BM

5.2.4.7

FC-BM-CBJ

5.2.4.7

FC-CBJ

5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.5.1

FC-CBJ-dom++deg-mc

5.2.5.2

FC-CBJ-dom++deg

5.2.5.1

FC-CBJ-dom/deg

5.2.5.1

FC-CBJ-dom

5.2.5.1

FC$^++$

5.2.6.2

FD-Constraint

4.4.1

FF

5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.4 | 7.6 | E.7.2 | Fachbegriffliche

firstcs

4.5.3

FLA

5.2.4 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.5.1 | 5.2.6.1 | Fachbegriffliche

Flex

7.5

Forward Checking

see FC

framebasiert

2.2.2 | 3.4.1

Framework

4.5.3

objektorientiert

6.2 | G.

Freuder, Eugene C.

Diplom | 5.2.3.3 | 5.2.3.5

Frühwirth, Thom

4.5.3

Full Look-Ahead

see FLA

Funktions-Constraint

4.1

Fuzzy CSP

4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 9.2

Fuzzy-Constraint

4.4.3 | 4.4.3 | 4.4.3

Fuzzy-Logik

G.

Fuzzy-Technologie

4.4.4

GAC

E.6.4

GAC-3

5.2.6.1

GAC-4

5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1

GAC-7

5.2.6.1

GAC-CBJ

5.2.4.7

GAC-Schema

5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1 | 5.2.6.1

Gaschnig, John

5.2.4.3

Gauß, Carl Friedrich

5.

Gauß-Jordan-Eliminierung

5.1

GBJ

5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | 5.2.4.3 | Fachbegriffliche

GCC

4.5.1 | Fachbegriffliche

GCSP

2.2.3 | 4.4.2 | 4.4.2 | 9.2 | Lava | ILOG | CAWICOMS | Fachbegriffliche

GDCC

4.5.1 | Fachbegriffliche

Generate & Test

see GT

Generative CSP

see GCSP

generisches Constraint

3.7.2 | 3.7.2 | 4.4.2 | 4.4.2 | 4.6 | 9.2 | Lava

Genetische Algorithmen

5.2.2

GIFT

4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3

global constraint

4.1

global constraint

5.3

global constraint

4.5.2 | 5.2.6.3

global constraint

4.1 | 4.5.1 | 4.5.3 | 4.5.3 | 4.6 | 5.3.6.2 | 9.2

GMD

3.6 | KIKon | KIKon | KIKon | ConBaCon | Organisationen, | Organisationen, | Organisationen, | Organisationen, | Organisationen,

GNU

Organisationen,

GNU Prolog

4.5.1

GNU Prolog

4.5.1 | 4.5.1 | 4.6

GNU Compiler Collection

see GCC

GNU GPL

see GPL

GNU LGPL

see LGPL

GNU Prolog

4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.3

GNU-Projekt

G.

Goldfarb, Charles F.

G.

GPL

G. | G. | G. | G. | G. | G. | Fachbegriffliche

Granvilliers, Laurent

4.5.2

graphenbasiertes BJ

see GBJ

Graphentheorie

5.2.3.1 | G.

GSAT

5.2.2

GT

5.2.4 | 5.2.4.1 | 5.2.4.2 | 5.2.4.2 | 6.4.3 | Fachbegriffliche

Han, Ching-Chih

5.2.3.4

Haralick, Robert M.

5.2.4.4

hartes Constraint

4.4.3 | ConBaCon

Haskell

4.5.3

HC-3

5.3.5.3

HC-4

5.3.5.3 | 5.3.6.2 | 5.3.6.2

HCLP

4.4.3 | 4.4.3 | 4.4.3 | Fachbegriffliche

HCSP

4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 5.2.2 | 9.2 | Fachbegriffliche

Henderson, Thomas C.

5.2.3.3

heterogen

Constraint

1.3 | 4.4.4 | 4.6 | 4.6 | 6. | 6.4.2 | 6.4.2 | 6.4.3

Constraint-Lösen

6.4.3

Constraint-Lösen

6.4.2 | 6.6

Constraint-Problem

6.4.2 | 6.4.2 | 6.4.3 | 6.6 | 6.6 | 6.6

Heuristik

5.2.5 | G.

Hickey, Timothy J.

4.5.2 | 7.1 | E.4.3 | E.4.4

Hierarchical CLP

see HCLP

Hierarchical CSP

see HCSP

Hill Climbing

5.2.2

Hofstedt, Petra

4.5.4.2

HTML

4.5.2 | G. | G. | Fachbegriffliche

Hull-Konsistenz

5.3.5 | 5.3.5.1 | 5.3.5.1 | 5.3.5.3 | 5.3.5.3 | 5.3.6 | 5.3.6 | 5.3.6.2 | 5.3.7.2 | 5.4 | 5.4 | 5.4 | 5.4 | 5.4 | 7.6 | 7.6 | E.8.1 | E.8.1

globale

5.3.5.3 | 5.3.5.3 | 5.3.5.3 | 5.3.5.3

hybrid

Constraint-Problem

1.3 | 6. | 6.4

Constraint-System

1.3 | 6. | 6.4

CSP

6.4 | 6.4 | 6.4 | 6.4.2

Hyperkantenkonsistenz

5.2.6.1 | 5.2.6.1

Hyvönen, Eero

5.3.4

IAMath

4.5.2 | 4.5.2 | 5.4 | 7.1 | 7.1 | 7.5.3 | 7.5.3 | 8.3.3.5 | 8.3.3.5 | 8.6 | 8.6 | 9.2 | E.4.3 | E.4.4

IASolver

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.4.2 | 4.6

ICSP

4.4.1 | 4.4.1 | 4.4.1 | 4.6 | 4.6 | 5.2.3.4 | 5.3 | 5.3 | 5.3 | 5.3 | 5.3.1 | 5.3.1.2 | 5.3.2 | 5.3.2 | 5.3.3 | 5.3.3 | 5.3.4.1 | 5.3.4.1 | 5.3.4.2.2 | 5.3.5.1 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.3 | 5.3.6 | 5.3.6 | 5.3.6 | 5.3.6.2 | 5.3.6.2 | 5.3.7 | 5.4 | Fachbegriffliche

ILOG

2.3 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | ILOG | ILOG | ILOG | ILOG | ILOG | ILOG | ILOG | ILOG | CAWICOMS | CAWICOMS

ILOG Solver

4.5.2

ILOG JSolver

4.5.2

ILOG Solver

4.5.1 | 5.2.6.1

ILOG JSolver

4.5.2 | 4.5.2 | 4.5.2

ILOG Solver

4.5.2 | 4.5.2 | 4.5.2

ILOG JSolver

4.5.2 | 4.5.2

ILOG Solver

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 5.3.7.2

Indigo

4.4.3

integer programming

4.5.2

intelligent domain splitting

5.3.2

intensional

3.8 | 3.8 | 4.2 | 4.5.2 | 4.5.2 | G. | G.

Constraint

4.5.2 | 4.5.3 | 5.2.6.1

Interlog

4.5.1

interval convexity

5.3.2

Interval CSP

see ICSP

interval splitting

5.3.2

Intervall-Constraint

4.4.1 | 7.2

Intervall-Splitting

5.3.2

Intervallpropagation

5.3 | 5.3.3 | 5.3.5 | 5.3.5

inverse consistency

5.2.3.6

Jégou, Philippe

5.2.3.4

J.CP

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.3

J2EE

CAWICOMS | Fachbegriffliche

J2SE

7.1 | Fachbegriffliche

JACK

4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.6

JAR

8.6 | G. | Fachbegriffliche

Java

3.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.8 | 3.8 | 4.5.1 | 4.5.1 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.6 | 4.6 | 5.4 | 8.5 | 8.6 | 8.6 | 8.6 | 8.6 | 8.6 | 9.1 | 9.1 | 9.2 | ILOG | ILOG | CAWICOMS | CAWICOMS | CAWICOMS | G. | G. | G.

-Applet

4.5.2 | G.

-Constraint

3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.6.2 | 3.7.2 | 3.7.2 | 3.8 | 4.1

-Laufzeitumgebung

3.8 | 9.2

-Programm

3.8

Java 2 Enterprise Edition

see J2EE

Java 2 Standard Edition

see J2SE

Java Constraint Library

see JCL

Java Native Interface

see JNI

Java Server Pages

see JSP

Java CUP

7.1 | 7.1 | 7.3 | 7.5 | 7.5 | 7.5 | 7.5 | D. | D.

JAXP

7.1 | Fachbegriffliche

JCHR

4.5.3

JCL

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | Fachbegriffliche

JLex

7.1 | 7.1 | 7.1 | 7.3 | 7.5 | 7.5 | 7.5 | 7.5 | D. | D.

JNI

4.5.1 | 4.5.2 | 4.5.3 | 7.9.1 | Fachbegriffliche

JRules

CAWICOMS

JSolver

4.5.2 | 4.5.2 | 4.5.2

JSP

CAWICOMS | Fachbegriffliche

k-Konsistenz

5.2.3.1 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.6 | 5.2.3.6 | 5.2.6.1 | 5.3.5.2

k-RPC

5.2.3.6

Kahan-Intervallarithmetik

5.3.1.3 | 5.3.1.3

Kantenkonsistenz

see AC

kartesisches Produkt

G.

kartesisches Produkt

5.3

kartesisches Produkt

4.3 | 5.2 | 5.2.6.2 | 5.3 | 5.3 | 5.3.1.3

kartesisches Produkt

4.1 | 5.2.4.1 | 5.2.6.2 | 6.4 | G.

Kay, Alan

6.

kB-Konsistenz

5.3.5 | 5.3.5 | 5.3.5.2 | 5.3.5.2 | 5.3.5.2 | 5.3.5.3 | 5.4

KCS

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | Fachbegriffliche

KIKon

2.2.4 | KIKon | KIKon | KIKon

Knappen Jörg

Kolophon

Knotenkonsistenz

see NC

Knowledge-Engineering

A.1

-Lücke

A.1

Knuth, Donald E.

Kolophon

Koalog Constraint Solver

see KCS

Konfigurierung

constraint-basiert

2.2.3

fallbasiert

2.2.5

innovativ

4.4.4 | 4.6

regelbasiert

2.2.1

ressourcenbasiert

2.2.4 | 2.3 | COSMOS | COSMOS

strukturbasiert

2.2.2

verhaltensbasiert

2.2.6

verteilt

A.3 | CAWICOMS | CAWICOMS

web-basiert

A.3

Werkzeuge

2.3

konfliktbasiertes BJ

see CBJ

konkav

Kante

5.2.1

Konsistenzverfahren

5.2.3

Konstruktionssystem

2.1

kontinuierlich

4.2 | 4.2 | 4.2 | 4.4.1 | 5.3 | 5.3.2 | 5.3.3 | 5.3.6

Konvergenz

5.3.3 | 5.3.3 | 5.3.5.3 | 5.3.5.3 | 5.3.6.1 | 5.4 | G.

konvex

Constraint

5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.5.2 | 5.3.7.1 | 5.3.7.1

Domäne

5.3.6

Hülle

5.3.1.4 | 5.3.5

Intervall

5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.1.4 | 5.3.2 | 5.3.5.2

Kante

5.2.1 | 5.2.1 | 5.2.1 | 5.2.1

Wertebereich

5.3.1.4

Konvexitätsbedingung

5.3.7.2 | 5.4

Konvexitätseigenschaften

5.2.3.4

Konwerk

3.6 | 3.6

konzeptuelles Constraint

4.4.2

KS-Fokus

Fachbegriffliche

Label Inference

5.3.3 | 5.3.3 | 5.3.4 | 5.3.5.1 | 5.4

LAC

5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.2.6.2 | 5.4 | Fachbegriffliche

LAC$_7$

5.2.3.6

LAC$^++_7$

5.2.3.6

Lamport, Leslie

Kolophon

Lava

Lava | Lava | Lava | Lava | ILOG

lazy arc consistency

see LAC

Lazy Forward Checking

see LFC

Lee, Chia-Hoang

5.2.3.4

Lex

7.5

Lexer

7.5

LFC

5.2.4.5 | Fachbegriffliche

LGPL

4.5.2 | 4.5.2 | 4.5.2 | 9.1 | G. | G. | G. | Fachbegriffliche

Lhomme, Olivier

5.3.5

linear programming

4.4.3 | 4.5.1

Linux

3.8 | 4.5.1 | 4.5.2 | 4.5.2 | Kolophon

Lisp

1.1 | 1.1 | 1.1 | 3.2 | 3.2 | 4.5.3 | 4.5.4.2 | 8.5 | SICONFEX | Fachbegriffliche

local propagation

4.4.3

local search

5.2.2

Log4J

7.1

logic programming

see LP

lokale Suche

5.2.2 | 5.2.4 | 5.3.5.3 | 6.3 | 6.3

look-ahead

5.2.4.6 | 5.4 | 5.4 | 7.6 | 7.6 | 7.6

look-ahead value ordering

see LVO

look-back

5.4

LP

4.5.3 | Fachbegriffliche

LVO

5.2.5.2 | 5.2.5.2 | 5.2.5.2 | 5.2.5.2 | Fachbegriffliche

Lösungsdichte

4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 4.3 | 6.4.3

MAC

5.2.4 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.4.7 | 5.2.5.1 | 5.2.6.1 | 5.4 | 7.6 | 7.6 | 7.6 | 7.6 | E.7.4 | Fachbegriffliche

MAC-3

5.2.4.6 | 7.6 | E.7.3

MAC-4

5.2.4.6

MAC-dom++deg-mc

5.2.5.2

MAC-dom++deg

5.2.5.1

MAC-dom/deg-mc

5.2.5.2

MAC-dom/deg

5.2.5.1

MAC-CBJ

5.2.4.7 | 5.2.4.7

Mackworth, Alan K.

5.2.3.1

Mackworth, Alan K.

5.2.6.1

maintaining arc consistency

see MAC

Manifold

4.5.4.2 | 4.5.4.2 | 8.5

MAS

4.4.4 | 4.4.4 | 4.4.4 | G. | Fachbegriffliche

Maschinelles Lernen

4.4.4

Maschinelles Lernen

G.

Masini, Gérald

5.2.6.1

max-domain-size

see MD

Max-RPC

5.2.3.6

MaxCSP

4.4.3 | 9.2 | Fachbegriffliche

Maximal CSP

see MaxCSP

maximum cardinality ordering

see MCO

maximum degree ordering

see MDO

MBO

5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | Fachbegriffliche

MC

5.2.2 | 5.2.5.2 | 5.2.5.2 | 5.2.5.2 | 5.2.5.2 | Fachbegriffliche

MCO

5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | Fachbegriffliche

MD

5.2.5.2 | Fachbegriffliche

MDO

5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.4 | 7.6 | E.7.2 | Fachbegriffliche

Mediator

4.4.4 | G. | G.

Meta

-Constraint

4.4.2

-Constraint-Problem

6.4.2 | 6.4.2

-Constraint-Solver

1.3 | 4.5.4.2 | 6. | 6.4.3 | 6.4.3 | 6.4.3 | 6.6 | 6.6 | 7.7.3 | 8.2 | 9.1

-daten

3.4.5 | G. | G.

-ebene

9.2

-elemente

9.2

-information

3.4.5 | 5.2.3.3 | 5.2.3.3

-level

4.4.2

-modell

3.5.2 | 3.7.2 | B.

-Modellierungssprache

3.6.2

-propagation

6.4.1 | 6.6 | 7.7.3 | 7.7.3 | 8.2 | 8.2 | 8.2 | 9.1 | 9.1

-regel

2.2.1 | 3.6.1

-repräsentation

3.4.1

-suche

8.2

-syntax

G.

-variable

4.4.2 | 4.4.2

CSP

6.4.3 | 6.4.3 | 6.4.3 | 6.4.3 | 6.4.3 | 6.4.3 | 6.4.3 | 6.4.3 | 8.2 | 8.2 | 8.2

Metrik

4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 4.4.3

MFC

5.2.4.5 | 5.2.4.5 | 5.2.4.7 | 5.2.6.2 | Fachbegriffliche

MFC-BM2-CBJ

5.2.4.7

min-conflicts

see MC

minimal bandwidth ordering

see MBO

Minimal Forward Checking

see MFC

minimal width ordering

see MWO

minimal support

5.2.3.3 | 5.2.3.4 | 5.2.3.4

minimum remaining values

see MRV

MinLAC$^++_7$

5.2.3.6

Mixed CSP

4.4.4 | 4.4.4 | 4.4.4 | 4.5.4.1 | 4.6 | 4.6 | 6.4.2 | Fachbegriffliche

modellbasiert

3.5

modellgetrieben

3.4

Mohr, Roger

5.2.6.1

Mohr, Roger

5.2.3.3

Monfroy, Eric

4.5.4.2

Montanari, Ugo

5.2.3.4

MRV

5.2.5.1 | Fachbegriffliche

Multi-Agenten-System

see MAS

MWO

5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | 5.2.5.1 | Fachbegriffliche

NC

5.2.3.1 | 5.2.3.2 | 5.2.3.2 | 5.2.3.2 | 5.2.3.2 | 5.2.3.2 | 5.2.3.2 | 5.2.3.2 | 5.2.3.2 | 5.2.3.3 | 5.2.3.3 | 5.2.3.5 | 6.3 | 7.6 | 7.6 | 7.6 | 8.3.1 | 8.3.3.1 | 8.3.3.1 | 8.3.3.1 | 8.3.5.1 | 8.3.5.1 | 8.4.1.3 | 8.4.1.3 | E.6.5 | E.6.5 | Fachbegriffliche

NC-1

5.2.3.2 | 5.2.3.5

NCSP

5.3 | Fachbegriffliche

neighborhood inverse consistency

see NIC

Neuss, Wolfgang

Kolophon

Newton

4.5.1 | 5.3

Newton-Intervallverfahren

5.3.6 | 5.3.6 | 5.3.6.1 | 5.3.6.1 | 5.4 | 5.4

Newton-Verfahren

5.3.6 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | G.

NIC

5.2.3.6 | 5.2.3.6 | 5.2.3.6 | Fachbegriffliche

node consistency

see NC

non-disjunctive Constraint

5.3.1.4 | 5.3.7.2

non-disjunctive Constraint

5.3.5.2

NP-hart

G.

NP-vollständig

2.2.3 | 5.2.2 | G.

Nullstelle

5.3.6 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1

Nullstellenberechnung

5.3.6 | 5.3.6.1

Numerica

4.5.1 | 5.3

Numerical CSP

see NCSP

Obelics

Tacton | Tacton

Oberdiek, Heiko

Kolophon

Object Constraint Language

see OCL

OCL

CAWICOMS | Fachbegriffliche

OCS

4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | Fachbegriffliche

OCSP

4.4.4 | 4.4.4 | 4.4.4 | 4.4.4 | 4.4.4 | 4.6 | 4.6 | 9.2 | Fachbegriffliche

ODBC

3.6.2 | G. | Fachbegriffliche

Oktärbaum

5.3.7.1

Ontologie

2.2.2 | 3.4.1

Open CSP

see OCSP

Open-Source

4.5.1 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2

opportunistisch

3.5.2

OPS5

R1/XCON | Fachbegriffliche

over-constrained

see überbestimmt

Over-Constrained System

see OCS

Parser

7.1 | 7.1 | 7.3 | 7.3 | 7.5 | 7.5 | 7.5 | 7.5 | 7.5 | 7.5 | 7.5 | 7.5 | 7.5.1 | 7.7.1 | 7.7.1 | 7.7.1 | 7.7.1 | 7.8 | 7.8 | 7.8 | 7.9.2

Parser-Grammatik

7.5 | 7.5 | 7.5 | 7.5

Parsergenerator

7.1 | 7.5

Parsergerator

7.5

Partial CSP

see PCSP

Partial Look-Ahead

see PLA

path consistency

see PC

path inverse consistency

see PIC

Patridge, Derek

2.

Pattern-Matcher

3.6.1 | 3.6.1 | 3.6.1 | 3.6.2 | 3.6.3 | 4.6 | B.

Pattern-Matching

3.8 | 4.1 | 4.4.2 | 9.2

PC

5.2.3.1 | 5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5 | 5.2.3.6 | 5.4 | 5.4 | 5.4 | Fachbegriffliche

PC-1

5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5

PC-2

5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5

PC-3

5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5

PC-4

5.2.3.4 | 5.2.3.4 | 5.2.3.5 | 5.2.3.5

PC-5

5.2.3.4 | 5.2.3.4 | 5.2.3.4 | 5.2.3.5

PC-5++++

5.2.3.4

PC-6

5.2.3.4 | 5.2.3.4 | 5.2.3.5

PC-7

5.2.3.4 | 5.2.3.4 | 5.2.3.5

PC-8

5.2.3.4 | 5.2.3.4 | 5.2.3.5

PCSP

4.4.3 | 4.4.3 | 4.4.3 | 4.4.3 | 5.2.2 | 9.2 | Fachbegriffliche

PDS

5.2.5.2 | Fachbegriffliche

Pearl, Judea

5.2.3.6 | 5.2.6.2

Peirce, Charles S.

5.2.6.2

Pfadkonsistenz

see PC

Phasenübergangsregion

4.3 | 4.3 | 4.4.4

phase transition region

4.3

PIC

5.2.3.6 | Fachbegriffliche

PIC-2

5.2.3.6

PLA

5.2.4 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.4.6 | 5.2.5.1 | 5.2.6.1 | Fachbegriffliche

Plugin

8.6 | G. | G.

point-domain-size

see PDS

Polymorphie

4.5.3 | G.

POOC

4.5.1 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3

Popper, Karl R.

8.

Problemgenerator

4.3 | 4.3

Problemlösungssystem

2.1

Prolog

4.1 | 4.1 | 4.5.1 | 4.5.1 | 4.5.1 | 4.5.3 | 4.6 | 4.6 | 5.2.4.2 | 5.2.4.3 | 5.3

-Dialekt

4.5.1 | 4.5.1 | 4.5.2 | 5.3

-Klausel

4.5.1

-Regeln

4.4.3

-Syntax

4.5.1

Prolog III

4.5.1

Prolog IV

4.5.1 | 5.3

Prolog III

4.5.1

Prolog III

4.5.1

Prolog IV

4.5.1

Prolog II

4.5.1

Prolog III

4.5.1

Propagation

2.2.3 | 5.2.3.1 | 5.2.3.1 | G. | G. | G.

bedingt

2.2.3 | A.3 | ConBaCon

Prädikat-Constraint

4.1

Quartärbaum

5.3.7.1

Quasi-Nullstelle

5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1 | 5.3.6.1

Régin, Jean-Charles

5.2.3.3 | 5.2.6.1

R1/XCON

2.2.1 | R1/XCON

Rational Rose

CAWICOMS

RealPaver

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2

reellwertiges Constraint

7.2

relaxation

see Constraint-Relaxierung

Relaxierung

see Constraint-Relaxierung

Reparaturverfahren

5.2.2

restricted path consistency

see RPC

RIME

R1/XCON

Ringwelski, Georg

4.4.4 | 4.5.2

row-convex

5.2.3.4 | 5.2.3.4

RPC

5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.2.3.6 | 5.4 | Fachbegriffliche

RPC-1

5.2.3.6

RPC-2

5.2.3.6

räumliches Constraint

4.1

SAC

5.2.3.6 | 5.4 | Fachbegriffliche

SalesPlus

see Baan SalesPlus | see Baan SalesPlus

Sam-Haroud, Djamila

5.3.7

SAP

SAP

SAP R/3

SAP

SAP R/3

SAP

SAP Sales Configuration Engine

SAP

SAP Sales Configuration Engine

SAP

SAT

5.2 | G. | Fachbegriffliche

Satisfiability Problem

see SAT

Scanner

7.5 | 7.5 | 7.5

Schwierigkeitsgrad

4.3 | 4.3 | 4.4.4

SCSP

4.4.4 | 4.4.4 | 4.4.4 | Fachbegriffliche

SECON

camos.Configurator

Semantic Web

4.4.4 | CAWICOMS | G.

Sequenz-Constraint

4.1

SGML

G. | G. | Fachbegriffliche

SICStus Prolog

4.5.3

SICStus Prolog

4.5.1 | 4.5.3

SICStus Prolog

4.5.1 | 4.5.3 | Tacton

SICStus Objects

Tacton

Simplex

4.5.2 | 4.5.2 | 4.5.4.2 | 5.1 | 9.2

Simulated Annealing

5.2.2

Singh, Moninder

5.2.3.4

singleton arc consistency

see SAC

singleton consistency

5.2.3.6 | 5.2.3.6

singleton restricted path consistency

see SRPC

SkyBlue

4.4.3

Smalltalk

4.5.2 | 4.5.3 | 4.5.3 | 4.5.3 | 4.5.3 | Lava | G.

SOAP

CAWICOMS | G. | G. | Fachbegriffliche

Socket-Server

4.5.1 | 4.5.1 | 4.5.1 | G.

soft constraint

see weiches Constraint

SoftCSP

4.4.3 | 4.4.3 | 4.5.2 | 9.2 | Fachbegriffliche

solution function

5.3.4.1 | 5.3.4.1 | 5.3.4.1 | 5.3.4.1 | 5.3.4.1 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.5.1 | 5.3.5.3 | 7.6 | 7.6 | 7.6 | 8.3.1 | 8.3.3.5 | 8.4.1.2 | 9.1

Splitting

5.3 | 5.3.2 | 5.3.2 | 5.3.2 | 5.3.2 | 5.3.2 | 5.3.4.2.1 | 5.3.4.2.1 | 5.3.4.2.1 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.6.1

-Prozess

5.3.2 | 5.3.2

-Punkt

5.3.2

-Strategie

5.3.2 | 5.3.2 | 5.3.7.2

-Technik

1.3 | 5. | 5.3.6

-Verfahren

5.3.6.2

SQL

3.6.2 | G. | G. | Fachbegriffliche

squeezing

5.3.2

SRPC

5.2.3.6 | 5.4 | Fachbegriffliche

Stallman, Richard

G.

static variable ordering

see SVO

Stergiou, Kostas

5.2.6.2

stochastische Suche

5.2.4.1

stochastische Suche

5.2.2

stochastische Suche

5.2.2 | 5.2.2 | 5.2.4

stochastische Suche

5.2.2

stochastische Suche

5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.4 | 5.2.4 | 6.3

Structural CSP

see SCSP

Suchbaum

5.2.4.2 | 5.2.4.2

Suchraum

5.2.4.5

Suchverfahren

5.2.4

support

5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.3 | 5.2.3.4 | 5.2.3.4 | 5.2.3.6 | 5.2.6.1 | 5.4

SVO

5.2.5.1 | Fachbegriffliche

Syntax

1.3 | 3.8 | 4.5.1 | 4.5.3 | 8.5 | Lava | G.

Synthese-Algorithmus

5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.3.5 | 5.2.6.1 | 5.2.6.2

systematische Suche

5.2.4

systematische Suche

4.4.3 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.2 | 5.2.3.6 | 5.2.4 | 5.2.4 | 5.2.4 | 5.2.4.1 | 5.2.4.2 | 5.4 | 6.3 | 6.4.3

Tabu-Suche

5.2.2

Tacton Configurator

Tacton | Tacton | Tacton | Tacton

Taxonomie

2.2.2 | 3.4.2 | 3.4.3 | 3.4.3

taxonomisch

Hierarchie

2.2.2 | 3.4.2 | 3.4.4

Inferenz

no title | 3.4.4 | 3.4.4 | 3.4.4

Inferenzmodule

3.4.4

Konfliktsituation

3.4.4

Relation

3.3 | 3.3

TCSP

4.4.1 | 5.2.3.4 | Fachbegriffliche

Technologie-Zentrum Informatik

see TZI

Temporal CSP

see TCSP

temporales Constraint

4.1

Terminalsymbol

7.5 | 7.5

Test-Konsole

9.2

Tiefensuche

3.1 | 5.2.2 | 5.2.4.2 | ALL-RISE

TMS

2.3 | 4.4.2 | 5.2.4.3 | SAP | SAP | G. | Fachbegriffliche

Token

7.5

Toleranzpropagation

see TP

Toleranzsituation

5.3.4 | 5.3.4 | 5.3.4.1 | 5.3.4.2 | 5.3.4.2 | 5.3.4.2.1 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.4.2.2

Torrens, Marc

4.5.2

total constraint

5.3.7.1 | 5.3.7.1

total constraint

5.3.5.3 | 5.3.5.3

total constraint

4.3

total constraint

4.1

TP

3.6.2 | 5.3.4 | 5.3.4 | 5.3.4.1 | 5.3.4.2 | 5.3.4.2.2 | 5.3.4.2.2 | 5.3.5.1 | 5.4 | 5.4 | 5.4 | 5.4 | 5.4 | 5.4 | Fachbegriffliche

trashing

5.2.4.2 | 5.2.4.7 | 5.2.4.7 | 5.2.5.1

Tree-Clustering

5.2.2

Tree-Constraint

4.1

Truth Maintenance System

see TMS

Tupel-Constraint

3.6.2 | 3.6.2 | 3.6.2 | 3.6.3 | 3.7.2 | 3.7.2 | 3.8 | 3.8 | 4.1 | 4.5.2 | 4.5.2

TZI

3.1 | 3.2 | 3.2 | 3.2 | 3.2 | 3.4 | Organisationen,

Ultraviolet

4.4.3

UML

7.2 | 7.2 | 7.2 | 7.2 | 7.6 | CAWICOMS | Fachbegriffliche

under-constrained

see unterbestimmt

UniCalc

4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2 | 4.5.2

Unified Modeling Language

see UML

Unifikation

4.1

unterbestimmt

4.3 | 4.3 | 4.4.3 | 5.2.4.6 | 5.3 | 5.3.7 | Lava

Unterstützungssystem

2.1

Van Hentenryck, Pascal

5.2.3.3

verteilte Konfigurierung

CAWICOMS | CAWICOMS

Walsh, Toby

5.2.6.2

Waltz, David L.

5.2.1

Waltz, David L.

4.1 | 5.2.3.1

Waltz-Filteralgorithmus

5.2.1 | 5.2.1 | 5.2.1 | 5.2.3.3 | 5.3 | 5.3.3 | 5.3.3 | 5.3.3 | 5.3.3 | 5.3.3 | 5.3.4 | 5.3.4.1 | 5.3.5.1 | 5.3.6 | 5.3.7.1 | 5.4 | 5.4 | 5.4 | 5.4 | 7.6 | E.8.1

Web Services

G.

Web Services

ILOG

Web Services

4.4.4 | CAWICOMS | G.

weiches Constraint

4.4.3 | SAP | ConBaCon

weighted-max-domain-size

see WMD

well-constrained

see wohlbestimmt

Wissensbasis

3.6.2

WMD

5.2.5.2 | Fachbegriffliche

wohlbestimmt

4.3

Wrapper

4.5.1 | 4.5.3 | 4.5.3 | 4.6 | 6.4.3 | 6.5 | 6.5 | 7.5.3 | 7.9.1 | 7.9.1 | 7.9.1 | 7.9.2 | 8.4.1 | 8.4.1.1 | 8.4.2 | 8.4.3 | 8.4.3 | 8.5 | 8.6 | 9.2 | ILOG | G. | G.

XCON

2.2.1 | R1/XCON

XML

1.3 | 7.1 | 7.1 | 7.1 | 7.1 | 7.3 | 7.4 | 7.7 | 7.7.1 | 7.7.1 | 7.7.1 | 7.7.1 | 7.8 | 8.5 | 8.5 | 8.5 | 9.1 | CAWICOMS | CAWICOMS | C. | C. | G. | G. | G. | G. | G. | Fachbegriffliche

Yacc

7.5 | Fachbegriffliche

YACS

6.1 | 6.1 | 6.5 | 6.5 | Fachbegriffliche

YCM

6.4.1 | 6.4.1 | 7.4 | 7.4 | 7.4 | 7.4 | 7.4 | 7.4 | 7.4 | 8.6

zlib/libpng-Lizenz

G.

Zustandsdiagramm

2.2.6