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