Institutional Repository
| Automated reasoning and exhaustive search: Quasigroup existence problems | |
| J. Slaney; M. Fujita; M. Stickel | |
| 1995 | |
| Source | Computers & Mathematics with Applications
 |
| Volume | 29Issue:2Pages:115-132 |
| English Abstract | This is a report of research carried out during 1992 and 1993 in which three different automated reasoning programs—DDPP, FINDER, and MGTP—were applied to a series of exhaustive search problems in the theory of quasigroups. All three of the programs succeeded in solving previously open problems concerning the existence of quasigroups satisfying certain additional conditions. Using different programs has allowed us to cross-check the results, helping reliability. We find this research interesting from several points of view: first, it brings techniques from the field of automated reasoning to bear on a rather different problem domain from that which motivated their development; second, investigating such hard problems leads us to push the limits of what our systems have achieved; and finally, it involves us in serious philosophical issues concerning essentially computational proofs. |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Keyword | Quasigroups Exhaustive Search Consistent Labeling Automated Reasoning Programs |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1314 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | J. Slaney,M. Fujita,M. Stickel. Automated reasoning and exhaustive search: Quasigroup existence problems[J]. Computers & Mathematics with Applications,1995,29(2):115-132. |
| APA | J. Slaney,M. Fujita,&M. Stickel.(1995).Automated reasoning and exhaustive search: Quasigroup existence problems.Computers & Mathematics with Applications,29(2),115-132. |
| MLA | J. Slaney,et al."Automated reasoning and exhaustive search: Quasigroup existence problems".Computers & Mathematics with Applications 29.2(1995):115-132. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| BJ01133408.pdf（1323KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment