An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines. - Riccardo Forth; Paul Molitor (ASP-DAC, 2000)

Permutation Independent Comparison of Pseudo Boolean Functions. - Riccardo Forth; Paul Molitor (MBMV, 2000)