Quantifier Shifting for Quantified Boolean Formulas Revisited.

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl

Browse the full IJCAR paper archive.