12 citations · 13 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2017★ 1 cited
Weight-Based Variable Ordering in the Context of High-Level Consistencies
Robert J. Woodward, Berthe Y. Choueiry
Dom/wdeg is one of the best performing heuristics for dynamic variable ordering in backtrack search [Boussemart et al., 2004]. As originally defined, this heuristic increments the…
cs.AI2010★ 12 cited
A Partial Taxonomy of Substitutability and Interchangeability
Shant Karakashian, Robert Woodward, Berthe Y. Choueiry +2
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent re…