Blocked Clauses in First-Order Logic.

Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere

Browse the full LPAR paper archive.