A powerful technique to eliminate isomorphism in finite model search
文献类型：期刊论文
| 作者 | Jia, Xiangxue; Zhang, Jian |
| 刊名 | Automated reasoning, proceedings
 |
| 出版日期 | 2006 |
| 卷号 | 4130页码:318-331 |
| 关键词 | Isomorphism Scheme Symmetry breaking Lnh Dash |
| ISSN号 | 0302-9743 |
| 通讯作者 | Jia, xiangxue() |
| 英文摘要 | We propose a general-purpose technique, called dash (decision assignment scheme heuristic), to eliminate isomorphic subspaces when generating finite models. like lnh, dash is based on inherent isomorphism in first order clauses on finite domains. unlike other methods, dash can completely eliminate isomorphism during the search. therefore, dash can generate all the models none of which are isomorphic. and dash is an efficient technique for finite model enumeration. the main idea is to cut the branch of the search tree which is isomorphic to a branch that has been searched. we present a new method to describe the class of isomorphic branches. we implemented this technique by modifying sem1.7b, and the new tool is called semd. this technique proves to be very efficient on typical problems like the generation of finite groups, rings and quasigroups. the experiments show that semd is much faster than sem on many problems, especially when generating all the models and when there is no model. semd can generate all the non-isomorphic models with little extra cost, while other tools like mace4 will spend more time. |
| WOS研究方向 | Computer Science |
| WOS类目 | Computer Science, Artificial Intelligence |
| 语种 | 英语 |
| WOS记录号 | WOS:000240085600029 |
| 出版者 | SPRINGER-VERLAG BERLIN |
| URI标识 | http://www.irgrid.ac.cn/handle/1471x/2379253 |
| 专题 | 中国科学院大学 |
| 通讯作者 | Jia, Xiangxue |
| 作者单位 | 1.Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China 2.Grad Univ, Chinese Acad Sci, Beijing, Peoples R China |
| 推荐引用方式 GB/T 7714 | Jia, Xiangxue,Zhang, Jian. A powerful technique to eliminate isomorphism in finite model search[J]. Automated reasoning, proceedings,2006,4130:318-331. |
| APA | Jia, Xiangxue,&Zhang, Jian.(2006).A powerful technique to eliminate isomorphism in finite model search.Automated reasoning, proceedings,4130,318-331. |
| MLA | Jia, Xiangxue,et al."A powerful technique to eliminate isomorphism in finite model search".Automated reasoning, proceedings 4130(2006):318-331. |
入库方式： iSwitch采集
来源：中国科学院大学
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。