Parthenon: A Parallel Theorem Prover for Non ... - Semantic Scholar
Carnegie Mellon University
Research Showcase @ CMU Computer Science Department
School of Computer Science
6-1989
Parthenon: A Parallel Theorem Prover for Nonhorn Clauses Soumitra Bose Carnegie Mellon University
Edmund M. Clarke Carnegie Mellon University
David E. Long Carnegie Mellon University
Spiro Michaylov Carnegie Mellon University
Follow this and additional works at: http://repository.cmu.edu/compsci
This Conference Proceeding is brought to you for free and open access by the School of Computer Science at Research Showcase @ CMU. It has been accepted for inclusion in Computer Science Department by an authorized administrator of Research Showcase @ CMU. For more information, please contact [email protected].
Research Showcase @ CMU Computer Science Department
School of Computer Science
6-1989
Parthenon: A Parallel Theorem Prover for Nonhorn Clauses Soumitra Bose Carnegie Mellon University
Edmund M. Clarke Carnegie Mellon University
David E. Long Carnegie Mellon University
Spiro Michaylov Carnegie Mellon University
Follow this and additional works at: http://repository.cmu.edu/compsci
This Conference Proceeding is brought to you for free and open access by the School of Computer Science at Research Showcase @ CMU. It has been accepted for inclusion in Computer Science Department by an authorized administrator of Research Showcase @ CMU. For more information, please contact [email protected].
