AC |
arc consistency
|
ACS |
Asynchronous Constraint Solving
|
ACSP |
Adaptive Constraint Satisfaction Problem
|
AI |
Artificial Intelligence |
API |
Application Programming Interface |
BC |
Backchecking
|
BJ |
Backjumping
|
BM |
Backmarking
|
BNF |
Backus-Naur-Form
|
BSD |
Berkeley Source Distribution |
BT |
(chronologisches) Backtracking
|
CAL |
Contrainte Avec Logique |
CBJ |
konfliktbasiertes Backjumping
|
CCP |
Concurrent Constraint Programming
|
CCSP |
Continuous Constraint Satisfaction Problem
|
CHIP |
Constraint Handling in Prolog |
CHR |
Constraint Handling Rules
|
CIAL |
Constraint Interval Arithmetic Language |
CLOS |
Common Lisp Object System
|
CLP |
Constraint Logic Programming
|
CLP(BNR) |
Constraint Logic Programming with Booleans, Naturals and
Reals |
CLP(FD) |
Constraint Logic Programming with Finite
Domains |
CLP(Intervals) |
Constraint Logic Programming with
Intervals |
CLP(R) |
Constraint Logic Programming with Reals |
CompCSP |
Composite Constraint Satisfaction Problem
|
CondCSP |
Conditional Constraint Satisfaction Problem
|
CORBA |
Common Object Request Broker Architecture |
CP |
Constraint Programming
|
CSP |
Constraint Satisfaction Problem
|
CSPDL |
CSP Description Language |
CWA |
closed world assumption
|
DAC |
directional arc consistency
|
DCSP |
Dynamic Constraint Satisfaction Problem
|
DDBT |
Dependency Directed Backtracking
|
DisCSP |
Distributed Constraint Satisfaction Problem
|
DJ |
Declarative Java |
DOM |
Document Object Model |
DPC |
directional path consistency
|
DSR |
dynamic search rearrangement
|
DTD |
Document Type Definition |
DVO |
dynamic variable ordering
|
EJB |
Enterprise Java Beans
|
FAQ |
Frequently Asked Questions |
FC |
Forward Checking
|
FD |
finite domain |
FF |
fail first
|
FLA |
Full Look-Ahead
|
GBJ |
graphenbasiertes Backjumping
|
GCC |
GNU Compiler Collection
|
GPL |
GNU General Public License
|
GCSP |
Generative Constraint Satisfaction Problem
|
GDCC |
Guarded Definite Clauses with Constraints |
GT |
Generate & Test
|
GUI |
Graphical User Interface |
HCLP |
Hierarchical Constraint Logic Programming
|
HCSP |
Hierarchical Constraint Satisfaction Problem
|
IA |
Intervallarithmetik |
ICSP |
Interval Constraint Satisfaction Problem
|
IDE |
Integrated Development Environment |
HTML |
Hypertext Markup Language |
J2EE |
Java 2 Enterprise Edition
|
J2SE |
Java 2 Standard Edition
|
JAR |
Java Archiv |
JAXP |
Java API for XML Processing |
JCL |
Java Constraint Library
|
JNI |
Java Native Interface
|
JSP |
Java Server Pages
|
KCS |
Koalog Constraint Solver
|
KI |
Künstliche Intelligenz |
KS-Fokus |
Konfigurierungsschritt-Fokus |
LAC |
lazy arc consistency
|
LFC |
Lazy Forward Checking
|
LGPL |
GNU Lesser General Public License
|
LP |
logic programming
|
LVO |
look-ahead value ordering
|
MAC |
maintaining arc consistency
|
MAS |
Multi-Agenten-System
|
MaxCSP |
Maximal Constraint Satisfaction Problem
|
MBO |
minimal bandwidth ordering
|
MC |
min-conflicts
|
MCO |
maximum cardinality ordering
|
MD |
max-domain
|
MDO |
maximum degree ordering
|
MFC |
Minimal Forward Checking
|
Mixed CSP |
Mixed Constraint Satisfaction Problem |
MRV |
minimum remaining values
|
MWO |
minimal width ordering
|
NC |
node consistency
|
NCSP |
Numerical Constraint Satisfaction Problem
|
NIC |
neighborhood inverse consistency
|
ORB |
Object Request Broker |
OCL |
Object Constraint Language
|
OCS |
Over-Constrained System
|
OCSP |
Open Constraint Satisfaction Problem
|
ODBC |
Open DataBase Connectivity |
OOP |
objektorientierte Programmierung |
OPS5 |
Official Production System, Version 5 |
PC |
path consistency
|
PCSP |
Partial Constraint Satisfaction Problem
|
PDS |
point-domain-size
|
PIC |
path inverse consistency
|
PLA |
Partial Look-Ahead
|
RPC |
restricted path consistency
|
SAC |
singleton arc consistency
|
SAT |
Satisfiability Problem
|
SCSP |
Structural Constraint Satisfaction Problem
|
SDK |
Software Development Kit |
SGML |
Standard Generalized Markup Language |
SOAP |
Simple Object Access Protocol |
SoftCSP |
Soft Constraint Satisfaction Problem |
SQL |
Structured Query Language |
SRPC |
singleton restricted path consistency
|
SVO |
static variable ordering
|
TCSP |
Temporal Constraint Satisfaction Problem
|
TMS |
Truth Maintenance System
|
TP |
Toleranzpropagation
|
UML |
Unified Modeling Language
|
URL |
Uniform Resource Locator |
WMD |
weighted-max-domain
|
XML |
Extended Markup Language |
Yacc |
Yet Another Compiler-Compiler |
YACS |
Yet Another Constraint Solver |
YCM |
YACS Constraint-Manager |
|
|