Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions.

S. Akshay, Olaf Beyersdorff, Supratik Chakraborty, Lea Kasche, Meena Mahajan, Luc Nicolas Spachmann

Browse the full SAT paper archive.