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
Source	Science China Information Sciences
ISSN	1674-733X
Volume	56 Issue:3 Pages:1-9
English Abstract	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.
Indexed Type	EI
Keyword	Crystal Symmetry Natural Sciences Software Engineering
Department	(1) State key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China
Language	英语
WOS ID	WOS:000318197000012
Citation statistics
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/15218
Collection	中国科学院软件研究所
Recommended Citation 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.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库