Towards solver-independent propagators

Publication
CP 2012