Verifying the equivalence of sequential circuits with genetic algorithms.

Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero

Browse the full CEC paper archive.