Showing cs.AIShow all
3 papers · 1 filter
cs.AI2021
Engineering an Efficient Boolean Functional Synthesis Engine
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy +1
Given a Boolean specification between a set of inputs and outputs, the problem of Boolean functional synthesis is to synthesise each output as a function of inputs such that the sp…
cs.AI2021
Program Synthesis as Dependency Quantified Formula Modulo Theory
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Given a specification over inputs and output , defined over a background theory , the problem of program synthesis is to design a program such that…
cs.AI2020
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…