Towards Parallel Boolean Functional Synthesis.

S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah

Browse the full TACAS paper archive.