On the Structure of Counterexamples to Symmetric Orderings for BDD s

Rakesh M. Verma, Sarah Hwang. On the Structure of Counterexamples to Symmetric Orderings for BDD s. Electronic Notes in Theoretical Computer Science, 61:84-100, 2002. [doi]

Abstract

Abstract is missing.