Engineering an Efficient Boolean Functional Synthesis Engine

12 August 2021

Papers citing "Engineering an Efficient Boolean Functional Synthesis Engine"

3 / 3 papers shown

Title
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning Haoze Wu Christopher Hahn Florian Lonsing Makai Mann R. Ramanujan Clark W. Barrett OffRL LRM 34 1 0 18 May 2023
Synthesis with Explicit Dependencies P. Golia Subhajit Roy Kuldeep S. Meel 15 0 0 25 Jan 2023
HOLL: Program Synthesis for Higher OrderLogic Locking Gourav Takhar Ramesh Karri C. Pilato Subhajit Roy 33 11 0 25 Jan 2022