Emmanuel Hebrard Toby Walsh Improved Algorithm for Finding (a, b)-Super Solutions. 848 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_86 db/conf/cp/cp2005.html#HebrardW05