qube5.0
Submitter:

Massimo Narizzano

Description:

Advanced version of qube4.0 that integrates in the preprocessing the ternary equivalence checking, developed in collaboration with Paolo Ferraris.

Results: