API |
Application Programming Interface |
BC |
Backchecking
|
BJ |
Backjumping
|
BM |
Backmarking
|
BNF |
Backus-Naur-Form
|
BT |
(chronologisches) Backtracking
|
FC |
Forward Checking
|
FLA |
Full Look-Ahead
|
GT |
Generate & Test
|
MAC |
Maintaining Arc Consistency
|
PLA |
Partial Look-Ahead
|
|
|