| extending finite model searching with congruence closure computation |
| Zhang J; Zhang HT
|
| 2004
|
| 会议名称 | 7th International Conference on Artificial Intelligence and Symbolic Computation
|
| 页码 | 94-102
|
| 会议日期 | SEP 22-24,
|
| 会议地点 | Linz, AUSTRIA
|
| 收录类别 | sci
; istp
|
| 出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
| 出版者 | ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS
|
| ISSN | 0302-9743
|
| ISBN | 3-540-23212-5
|
| 部门归属 | Chinese Acad Sci, Inst Software, Lab Comp Sci, Beijing 100080, Peoples R China. Univ Iowa, Dept Comp Sci, Iowa City, IA 52242 USA.
|
| 摘要 | The model generation problem, regarded as a special case of the Constraint Satisfaction Problem (CSP), has many applications in AI, computer science and mathematics. In this paper, we describe how to increase propagation of constraints by usin |
| 主办者 | Johannes Kepler Univ Linz, Res Inst Symbol Computat, Randon Inst Computat & Appl Math, Austrian Acad Sci, Linzer Hochschulfonds, Upper Austrian Govt, Austrian Sci Fdn, Raiffeisenlandesbank Upper Austria, Siemens Austria, CoLogNET
|
| 语种 | 英语
|
| WOS记录号 | WOS:000224110900009
|
| 引用统计 |
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13004
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
Zhang J,Zhang HT. extending finite model searching with congruence closure computation[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS,2004:94-102.
|
修改评论