A Case Study of Parallel Satisfiability on Quasigroup Problems
Resource
Journal of Symbolic Computation, Vol.21, pp.543-560
Journal
Journal of Symbolic Computation
Journal Volume
Vol.21
Pages
543-560
Date Issued
1996
Date
1996
Author(s)
Zhang H.
Bonacina M. P.
Hsiang J.
Type
journal article