28 citations · 97 across the 20 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…