Super-Blocked Clauses.

Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

Browse the full CADE paper archive.