PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.

P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov

Browse the full CADE paper archive.