Perfect refiners for permutation group backtracking algorithms.

Christopher Jefferson Rebecca Waldecker Wilf A. Wilson

Published in: J. Symb. Comput. (2023)

Keyphrases

backtracking algorithms
search algorithm
constraint propagation
constraint satisfaction
constraint networks
path consistency
bayesian networks
constraint satisfaction problems
non binary