Symmetry-Based Synthesis for Interpretable Boolean Evaluation.

Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli

Browse the full VLSID paper archive.