related publications

  1. S. Akshay, Supratik Chakraborty, Synthesizing Skolem Functions: A View from Theory and Practice, Handbook of Logical Thought in India 2022.

  2. S. Akshay, Supratik Chakraborty, On synthesizing Skolem functions for first order logic formulae, MFCS 2022.

  3. Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel, Program Synthesis as Dependency Quantified Formula Modulo Theory, IJCAI 2021

  4. Priyanka Golia, Friedrich Slivovsky, Subhajit Roy and Kuldeep S Meel, Engineering an Efficient Boolean Functional Synthesis Engine, ICCAD 2021.

  5. S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal and Shetal Shah, Boolean Functional Synthesis:Hardness and Practical Algorithms, FMSD 2021

  6. Preey Shah, Aman Bansal, S. Akshay and Supratik Chakraborty, A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis, LICS 2021

  7. Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel, Manthan: A Data-Driven Approach for Boolean Function Synthesis, CAV 2020.

  8. S. Akshay, Jatin Arora, Supratik Chakraborty, S. Krishna, Divya Raghunathan and Shetal Shah, Knowledge Compilation for Boolean Functional Synthesis, FMCAD 2019

  9. Supratik Chakraborty, Dror Fried, Lucas M. Tabajara and Moshe Y. Vardi, Functional Synthesis via Input-Output Separation, FMCAD 2018

  10. S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal and Shetal Shah, What’s Hard About Boolean Functional Synthesis?, CAV 2018

  11. S. Akshay, Supratik Chakraborty, Ajith John and Shetal Shah, Towards Parallel Boolean Functional Synthesis, TACAS 2017

  12. Ajith John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi and S. Akshay, Skolem Functions for Factored Formulas, FMCAD 2015