Manthan: A Data-Driven Approach for Boolean Function Synthesis.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Browse the full CAV paper archive.