Ordering heuristics for arc consistency algorithms (1992)

by R J Wallace, E C Freuder
Venue:In AI/GI/VI ’92