functional synthesis

Manthan

Manthan: A Data-Driven Approach for Boolean Function Synthesis