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