David A. Clark Jeremy Frank Ian P. Gent Ewan MacIntyre Neven Tomov Toby Walsh Local Search and the Number of Solutions. 119-133 1996 conf/cp/1996 CP db/conf/cp/cp96.html#ClarkFGMTW96