17 citations · 18 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
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…
Phase Transition Behavior in Knowledge Compilation
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements of modern SAT solvers. Motivated by these prior studies of phase transit…
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…