Towards solver-independent propagators (2012)

by J N Monette, P Flener, J Pearson