Extended Resolution Proofs for Symbolic SAT Solving with Quantification.

Toni Jussila, Carsten Sinz, Armin Biere

Browse the full SAT paper archive.