prob003: quasigroup existence

proposed by Toby Walsh
tw@cs.york.ac.uk
with assistance from Kostas Stergiou and Mark Stickel.

References

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

Automated reasoning and exhaustive search: quasigroup existence problems. . Slaney, J., M. Fujita, and M. Stickel. Computers and Mathematics with Applications 29 (1995), 115-132.

Specifying Latin Square Problems in Propositional Logics . Hantao Zhang.

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

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

Solving Open Quasigroup Problems by Propositional Reasoning . Hantao Zhang and Jieh Hsiang.

Problem Structure in the Presence of Perturbations . Carla P. Gomes and Bart Selman. Proc. AAAI-97, Providence, RI., 1997 (follow the link to "More papers").

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