finding orthogonal latin squares using finite model searching tools

ISCAS OpenIR

	finding orthogonal latin squares using finite model searching tools
	Ma FeiFei; Zhang Jian
	2013
发表期刊	Science China Information Sciences
ISSN	1674-733X
卷号	56 期号:3 页码:1-9
摘要	An important class of problems in combinatorics is to find orthogonal latin squares with certain properties. Computer search is a promising approach for solving such problems. But generally its worst-case complexity is high. This paper describes how to use a general-purpose model searching program to find orthogonal latin squares. New techniques for problem representation and symmetry breaking are proposed to increase search efficiency. © 2011 Science China Press and Springer-Verlag Berlin Heidelberg.; An important class of problems in combinatorics is to find orthogonal latin squares with certain properties. Computer search is a promising approach for solving such problems. But generally its worst-case complexity is high. This paper describes how to use a general-purpose model searching program to find orthogonal latin squares. New techniques for problem representation and symmetry breaking are proposed to increase search efficiency. © 2011 Science China Press and Springer-Verlag Berlin Heidelberg.
收录类别	EI
关键词	Crystal Symmetry Natural Sciences Software Engineering
部门归属	(1) State key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China
语种	英语
WOS记录号	WOS:000318197000012
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15218
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Ma FeiFei,Zhang Jian. finding orthogonal latin squares using finite model searching tools[J]. Science China Information Sciences,2013,56(3):1-9.
APA	Ma FeiFei,&Zhang Jian.(2013).finding orthogonal latin squares using finite model searching tools.Science China Information Sciences,56(3),1-9.
MLA	Ma FeiFei,et al."finding orthogonal latin squares using finite model searching tools".Science China Information Sciences 56.3(2013):1-9.