Subhajit Roy

Latest

• Synthesis with Explicit Dependencies
• Engineering an Efficient Boolean Functional Synthesis Engine
• Program Synthesis as Dependency Quantified Formula Modulo Theory
• Symmetric Component Caching for Model Counting on Structured Instances
• Phase Transition Behaviour in Knowledge Compilation
• Manthan: A Data-Driven Approach for Boolean Function Synthesis
• GANAK: A Scalable Probabilistic Exact Model Counter
• WAPS: Weighted and Projected Sampling
• Knowledge Compilation meets Uniform Sampling