| 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 |
| |
|
