Amnon Meisels Solomon Eyal Shimony Gadi Solotorevsky Bayes Networks for Estimating the Number of Solutions to a CSP. 179-184 1997 AAAI/IAAI db/conf/aaai/aaai97.html#MeiselsSS97