|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| DbtPropagation | Maintenance of arc consistency in dynamic backtracking. |
| DbtValueSelection | Selection of a value for dynamic backtracking. |
| DbtVariableSelection | Selection of a variable for dynamic backtracking. |
Dynamic backtracking extension of IFS solver
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||