A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.

Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty

Browse the full LICS paper archive.