PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses

Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov

Browse the full LICS paper archive.