Institutional Repository
| a powerful technique to eliminate isomorphism in finite model search | |
| Jia Xiangxue; Zhang Jian | |
| 2006 | |
| Conference Name | 3rd International Joint Conference on Automated Reasoning |
| Pages | 318-331 |
| Conference Date | AUG 17-20, |
| Conference Place | Seattle, WA |
| Indexed Type | SCI |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | AUTOMATED REASONING, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 3-540-37187-7 |
| Department | Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China. Grad Univ, Chinese Acad Sci, Beijing, Peoples R China. |
| English Abstract | 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 domai |
| Keyword | Isomorphism Scheme Symmetry Breaking Lnh Dash |
| Sponsorship | Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst |
| WOS ID | WOS:000240085600029 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12142 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Jia Xiangxue,Zhang Jian. a powerful technique to eliminate isomorphism in finite model search[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:AUTOMATED REASONING, PROCEEDINGS,2006:318-331. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| a powerful technique（420KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment