QBF Merge Resolution Is Powerful but Unnatural.

Meena Mahajan, Gaurav Sood

Browse the full SAT paper archive.