Merging the local and global approaches to probabilistic satisfiability

Pierre Hansen, Sylvain Perron. Merging the local and global approaches to probabilistic satisfiability. Int. J. Approx. Reasoning, 47(2):125-140, 2008. [doi]

Abstract

Abstract is missing.