PSATO: a Distributed Propositional Prover and Its Application to Quasigroup Problems (1996)

Cached

Download Links

by Hantao Zhang , Maria Paola Bonacina , Maria Paola , Bonacina , Jieh Hsiang
Venue:Journal of Symbolic Computation
Citations:68 - 4 self