79 citations · 114 across the 23 of their papers we have counts for
1 paper · 2 filters
Peter Nightingale, Ian Philip Gent, Christopher Jefferson +1
Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification…