On Approximate Knowledge Compilation with Weighted Decision Diagrams. - Olga Heling-Tveretina; Gregory M. Provan (IC-AI, 2007)