Search Results for author:
Found 4 papers, 3 papers with code
Synthesis with Explicit Dependencies
In QBF, an existentially quantified variable is allowed to depend on all universally quantified variables in its scope.
Engineering an Efficient Boolean Functional Synthesis Engine
In this paper, we propose four algorithmic improvements for a data-driven framework for functional synthesis: using a dependency-driven multi-classifier to learn candidate function, extracting uniquely defined functions by interpolation, variables retention, and using lexicographic MaxSAT to repair candidates.
Program Synthesis as Dependency Quantified Formula Modulo Theory
Over the past decade, syntax-guided synthesis (SyGuS) has emerged as a dominant approach for program synthesis where in addition to the specification $\varphi$, the end-user also specifies a grammar $L$ to aid the underlying synthesis engine.
Manthan: A Data Driven Approach for Boolean Function Synthesis
On an extensive and rigorous evaluation over 609 benchmarks, we demonstrate that Manthan significantly improves upon the current state of the art, solving 356 benchmarks in comparison to 280, which is the most solved by a state of the art technique; thereby, we demonstrate an increase of 76 benchmarks over the current state of the art.
