Amnon Meisels Solomon Eyal Shimony Gadi Solotorevsky Bayes networks for estimating the number of solutions of constraint networks. 169-186 2000 28 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai28.html#MeiselsSS00