Download bibtex

[Shaw98QuasiGroup]
Kostas Stergiou, Paul Shaw and Toby Walsh
Arc Consistency and Quasigroup Completion
Proceedings of the ECAI-98 workshop on non-binary constraints, 1998

[Gome97Structure]
Carla P. Gomes and Bart Selman
Problem Structure in the Presence of Perturbations
Proc. AAAI-97, 1997

[zhang94PSATO]
Maria Paola Bonacina Hantao Zhang and Jieh Hsiang
PSATO: A Distributed Propositional Prover and Its Application to Quasigroup Problems
Journal of Symbolic Computation, 1-18, 1996

[slaney95automated]
M. Fujita, Slaney and M. Stickel
Automated reasoning and exhaustive search: quasigroup existence problems.
Computers and Mathematics with Applications, 115-132, 1995

[Zhang94Cumulating]
Hantao Zhang and Maria Paola Bonacina
Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability
Proceedings of First Int. Symp. on Parallel Symbolic Computation, 1994

[slaney94automated]
John Slaney
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure
Proceedings of CADE-12, 1994

[ZhangQuasi]
Hantao Zhang and Jieh Hsiang
Solving Open Quasigroup Problems by Propositional Reasoning
howpublished: http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/taiwan.ps.Z

[HantaoLatin]
Hantao Zhang
Specifying Latin Square Problems in Propositional Logics
howpublished: http://www.stat.uiowa.edu/ftp/hzhang/sato/papers/chapter6.ps.Z