Manthan: A Data-Driven Approach for Boolean Function Synthesis

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Abstract: 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 techniques over the past decade. Despite intense algorithmic development, a large number of problems remain beyond the reach of the state of the art techniques.