MGTP: A Parallel Theorem Prover Based on Lazy Model Generation

@inproceedings{Hasegawa1992MGTPAP,
  title={MGTP: A Parallel Theorem Prover Based on Lazy Model Generation},
  author={Ryuzo Hasegawa and Miyuki Koshimura and Hiroshi Fujita},
  booktitle={CADE},
  year={1992}
}
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…