integrating standard dependency schemes in qcsp solvers

ISCAS OpenIR

	integrating standard dependency schemes in qcsp solvers
	Jin Ji-Wei; Ma Fei-Fei; Zhang Jian
	2012
发表期刊	Journal of Computer Science and Technology
ISSN	10009000
卷号	27 期号:1 页码:37-41
摘要	Quantfied constraint satisfaction problems (QCSPs) are an extension to constraint satisfaction problems (CSPs) with both universal quantfiers and existential quantfiers. In this paper we apply variable ordering heuristics and integrate standard dependency schemes in QCSP solvers. The technique can help to decide the next variable to be assigned in QCSP solving. We also introduce a new factor into the variable ordering heuristics: a variable's dep is the number of variables depending on it. This factor represents the probability of getting more candidates for the next variable to be assigned. Experimental results show that variable ordering heuristics with standard dependency schemes and the new factor dep can improve the performance of QCSP solvers. © 2012 Springer Science+Business Media, LLC & Science Press, China.
收录类别	ei
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China
语种	英语
WOS记录号	WOS:000299938700003
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14702
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Jin Ji-Wei,Ma Fei-Fei,Zhang Jian. integrating standard dependency schemes in qcsp solvers[J]. Journal of Computer Science and Technology,2012,27(1):37-41.
APA	Jin Ji-Wei,Ma Fei-Fei,&Zhang Jian.(2012).integrating standard dependency schemes in qcsp solvers.Journal of Computer Science and Technology,27(1),37-41.
MLA	Jin Ji-Wei,et al."integrating standard dependency schemes in qcsp solvers".Journal of Computer Science and Technology 27.1(2012):37-41.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
l6423106tp5x6762.pdf（343KB）			开放获取	使用许可	请求全文