Extending Merge Resolution to a Family of QBF-Proof Systems.

Sravanthi Chede, Anil Shukla

Browse the full STACS paper archive.