Riccardo Forth

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Riccardo Forth, Paul Molitor
An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines. ASP-DAC (2000)
Riccardo Forth, Paul Molitor
Permutation Independent Comparison of Pseudo Boolean Functions. MBMV (2000)