Institutional Repository
| integrating standard dependency schemes in qcsp solvers | |
| Jin Ji-Wei; Ma Fei-Fei; Zhang Jian | |
| 2012 | |
| Source | Journal of Computer Science and Technology
 |
| ISSN | 10009000 |
| Volume | 27Issue:1Pages:37-41 |
| English Abstract | 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. |
| Indexed Type | ei |
| Department | (1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China |
| Language | 英语 |
| WOS ID | WOS:000299938700003 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14702 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| l6423106tp5x6762.pdf（343KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment