Supratik Chakraborty. Boolean Functional Synthesis: From Under the Hood of Solvers. In Mohua Banerjee, A. V. Sreejith, editors, Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings. Volume 13963 of Lecture Notes in Computer Science, pages 11-22, Springer, 2023. [doi]
Abstract is missing.