Publikace na Matematicko-fyzikální fakulta |
2005
Abstrakt
The paper describes a new cutoff method for depth-first search in the context of constraint satisfaction. This method is based on limiting the global number of assignments per variable.
The paper describes a new cutoff method for depth-first search in the context of constraint satisfaction. This method is based on limiting the global number of assignments per variable.