Manthan: A Data Driven Approach for Boolean Function Synthesis

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Boolean functional synthesis is a fundamental problem in computer science with wide-ranging applications and has witnessed a surge of interest resulting in progressively improved t…