[Shaw98QuasiGroup]

Arc Consistency and Quasigroup Completion

Proceedings of the ECAI-98 workshop on non-binary constraints,
1998

[Gome97Structure]

Problem Structure in the Presence of Perturbations

Proc. AAAI-97,
1997

[zhang94PSATO]

PSATO: A Distributed Propositional Prover and Its Application to Quasigroup Problems

Journal of Symbolic Computation, 1-18,
1996

[slaney95automated]

Automated reasoning and exhaustive search: quasigroup existence problems.

Computers and Mathematics with Applications, 115-132,
1995

[Zhang94Cumulating]

Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability

Proceedings of First Int. Symp. on Parallel Symbolic Computation,
1994

[slaney94automated]

The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure

Proceedings of CADE-12,
1994

[ZhangQuasi]

Solving Open Quasigroup Problems by Propositional Reasoning

howpublished: http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/taiwan.ps.Z

[HantaoLatin]

Specifying Latin Square Problems in Propositional Logics

howpublished: http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/chapter6.ps.Z