Gadi Solotorevsky Solomon Eyal Shimony Amnon Meisels CSPs with counters: a likelihood-based heuristic. 117-129 1998 10 J. Exp. Theor. Artif. Intell. 1 db/journals/jetai/jetai10.html#SolotorevskyEM98