a powerful technique to eliminate isomorphism in finite model search

	a powerful technique to eliminate isomorphism in finite model search
	Jia Xiangxue; Zhang Jian
	2006
会议名称	3rd International Joint Conference on Automated Reasoning
页码	318-331
会议日期	AUG 17-20,
会议地点	Seattle, WA
收录类别	SCI
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	AUTOMATED REASONING, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-37187-7
部门归属	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China. Grad Univ, Chinese Acad Sci, Beijing, Peoples R China.
摘要	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
关键词	Isomorphism Scheme Symmetry Breaking Lnh Dash
主办者	Cadence, IBM, Microsoft Res, NEC, John VonNeumann Minerva Ctr Dev React Syst
WOS记录号	WOS:000240085600029
引用统计	被引频次：6[WOS] [WOS记录] [WOS相关记录]
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12142
专题	基础软件与系统重点实验室
推荐引用方式 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.