A BDD SAT solver for satisfiability testing: An industrial case studyRuchir PuriJun Gu1996Ann. Math. Artif. Intell.