Riccardo Forth

According to our database, Riccardo Forth authored at least 2 papers in 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Permutation Independent Comparison of Pseudo Boolean Functions.

Riccardo Forth, Paul Molitor

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines.

Riccardo Forth, Paul Molitor

Proceedings of ASP-DAC 2000, 2000