7 citations · 26 across the 16 of their papers we have counts for
1 paper · 1 filter
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…