{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:13:22Z","timestamp":1742912002555,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_8","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"108-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Dubois","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Dequen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"8_CR1","unstructured":"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"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(95)00051-8","volume":"81","author":"J. W. Freeman","year":"1996","unstructured":"Freeman, J. W.: Hard random 3-SAT Problems and the Davis-Putnam Procedure. Artificial Intelligence 81, no 1\u20132, (1996) 183\u2013198","journal-title":"Artificial Intelligence"},{"key":"8_CR3","unstructured":"Fujita, H., Hasegawa, R.: A Model Generation Theorem Prover in KL1 Using Ramified-Stack Algorithm. In: Proc. of ICLP-91 (1991) 535\u2013548"},{"key":"8_CR4","unstructured":"Fujita, M., Hasegawa, R., Koshimura, M., Fujita, H.: Model Generation Theorem Provers on A Parallel Inference Machine. In: Proc. of FGCS-92 (1992)"},{"key":"8_CR5","unstructured":"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\u201357"},{"key":"8_CR6","unstructured":"Lam, C. W. H., Thiel, L., Swierck, S.: The non-existence of Finite Projective Planes of Order 10. Canadian Journal of Mathematics (1989) 1117\u20131123"},{"key":"8_CR7","unstructured":"McCune, W.: OTTER 2.0. In: Proc. of CADE-10 (1990) 663\u2013664"},{"key":"8_CR8","unstructured":"Slaney, J.: FINDER: Finite Domain Enumerator. In: Version 3.0Notes and Guide (1993) 1\u201322"},{"key":"8_CR9","unstructured":"Slaney, J., Fujita, M., Stickel, M.: Automated reasoning and exhaustive search: Quasigroup existence problems. In: Computers and Mathematics with Applications (1995) 115\u2013132"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Stickel, M., Zhang, H.: First results of studying quasigroup identities by rewriting techniques. In: Proc. of Workshop on Automated Theorem Proving (1994)","DOI":"10.1007\/3-540-59200-8_81"},{"key":"8_CR11","unstructured":"Stickel, M. E.: A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Journal of Automated Reasoning (1998) 353\u2013380"},{"key":"8_CR12","unstructured":"Zhang, H.: SATO: A decision procedure for propositional logic. Association for Automated Reasoning Newsletter (1993) 1\u20133"},{"key":"8_CR13","unstructured":"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"},{"key":"8_CR14","unstructured":"Zhang, H., Bonacina, M. P., Hsiang H.: PSATO: a distributed propositional prover and its application to quasigroup problems. Journal of Symbolic Computation (1996) 543\u2013560"},{"issue":"1\/2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1023\/A:1006351428454","volume":"24","author":"H. Zhang","year":"2000","unstructured":"Zhang, H., Stickel, M.: Implementing the Davis-Putnam Method. Journal of Automated Reasonning 24, no 1\/2 (2000) 277\u2013296","journal-title":"Journal of Automated Reasonning"},{"key":"8_CR16","unstructured":"Zhang, J.: Constructing finite algebras with FALCON. Journal of Automated Reasoning (1996) 1\u201322"},{"key":"8_CR17","unstructured":"Zhang, J., Zhang, H.: SEM: a System for enumerating Models. In: Proc. of International Joint Conference on Artificial Intelligence (1995) 11\u201318"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:11:06Z","timestamp":1585602666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}