QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property.

Florian Lonsing, Uwe Egly

Browse the full CADE paper archive.