Irina Rish Daniel Frost Statistical Analysis of Backtracking on Inconsistent CSPs. 150-162 1997 conf/cp/1997 CP db/conf/cp/cp97.html#RishF97