Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.

Thomas Ellman

Browse the full IJCAI paper archive.