Verified Substitution Redundancy Checking.

Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule

Browse the full FMCAD paper archive.