The non-existence of (3,1,2)-conjugate orthogonal idempotent Latin square of order 10

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2239, Issue , 2001, Pages 108-120

  Dubois, Olivier ^a   Dequen, Gilles ^b  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITÉ DE PICARDIE JULES VERNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

CONSTRAINT SATISFACTION TECHNIQUES; IDEMPOTENT; LATIN SQUARE; LATIN SQUARE PROBLEM; NON-EXISTENCE; POSITIVE INTEGERS; RESOLUTION TIME; SEARCH SPACES;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84947920859     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45578-7_8     Document Type: Conference Paper

References (17)

1. Bennett, F., Zhu, L.: Conjugate-orthogonal Latin squares and related structures. In: J. H. Dinitz & D. R. Stinson (eds): Contemporary Design Theory: A Collection of Surveys. John Willey & Sons 1992
2. Freeman, J. W.: Hard random 3-SAT Problems and the Davis-Putnam Procedure. Artificial Intelligence 81, no 1–2, (1996) 183–198
3. Fujita, H., Hasegawa, R.: A Model Generation Theorem Prover in KL1 Using Ramified-Stack Algorithm. In: Proc. of ICLP-91 (1991) 535–548
4. Fujita, M., Hasegawa, R., Koshimura, M., Fujita, H.: Model Generation Theorem Provers on A Parallel Inference Machine. In: Proc. of FGCS-92 (1992)
5. Fujita, M., Slaney, J., Bennett, F.: Automatic generation of some results in finite algebra. In: Proc. of Int. Joint Conference on Artificial Intelligence (1993) 52–57
6. Lam, C. W. H., Thiel, L., Swierck, S.: The non-existence of Finite Projective Planes of Order 10. Canadian Journal of Mathematics (1989) 1117–1123
7. McCune, W.: OTTER 2.0. In: Proc. of CADE-10 (1990) 663–664
8. Slaney, J.: FINDER: Finite Domain Enumerator. In: Version 3.0Notes and Guide (1993) 1–22
9. Slaney, J., Fujita, M., Stickel, M.: Automated reasoning and exhaustive search: Quasigroup existence problems. In: Computers and Mathematics with Applications (1995) 115–132
10. Stickel, M., Zhang, H.: First results of studying quasigroup identities by rewriting techniques. In: Proc. of Workshop on Automated Theorem Proving (1994)
11. Stickel, M. E.: A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Journal of Automated Reasoning (1998) 353–380
12. Zhang, H.: SATO: A decision procedure for propositional logic. Association for Automated Reasoning Newsletter (1993) 1–3
13. Zhang, H: Specifying Latin squares in propositional logic. In: Association for Automated reasoning Newsletter, Essays in honor of Larry Wos, Chapter 6,. MIT Press 1997
14. Zhang, H., Bonacina, M. P., Hsiang H.: PSATO: a distributed propositional prover and its application to quasigroup problems. Journal of Symbolic Computation (1996) 543–560
15. Zhang, H., Stickel, M.: Implementing the Davis-Putnam Method. Journal of Automated Reasonning 24, no 1/2 (2000) 277–296
16. Zhang, J.: Constructing finite algebras with FALCON. Journal of Automated Reasoning (1996) 1–22
17. Zhang, J., Zhang, H.: SEM: a System for enumerating Models. In: Proc. of International Joint Conference on Artificial Intelligence (1995) 11–18