| DEPICT： A High-level Formal Language for Modeling Constraint Satisfaction Problems |
| |
| 作者姓名： | Abdulwahed M.Abbas Edward P.K.Tsang Ahmad H.Nasri |
| |
| 作者单位： | Department of Computer Science The University of Balamand，Department of Computing and Electronic Systems，The University of Essex，Department of Computer Science，The American University of Beirut，P.O.Box 100，Tripoli，Lebanon，Wivenhoe Park，Colchester CO4 3SQ，UK，P.O.Box:11-0236，Riad EI-Solh，Beirut，Lebanon |
| |
| 基金项目： | This work was supported by Lebanese National Council for Scientific Research. |
| |
| 摘 要： |
|
| 关 键 词： | CSPs 计算机语言 语言程序 计算机技术 |
| 收稿时间： | 2007-3-5 |
| 修稿时间： | 2007-12-12 |
DEPICT: A high-level formal language for modeling constraint satisfaction problems |
| |
| Abdulwahed M.Abbas,Edward P.K.Tsang,Ahmad H.Nasri.DEPICT: A high-level formal language for modeling constraint satisfaction problems[J].International Journal of Automation and computing,2008,5(2):208-216. |
| |
| Authors: | Abdulwahed M Abbas Edward P K Tsang Ahmad H Nasri |
| |
| Affiliation: | (1) Department of Computer Science, The University of Balamand, P. O. Box 100, Tripoli, Lebanon;(2) Department of Computing and Electronic Systems, The University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, UK;(3) Department of Computer Science, The American University of Beirut, P. O. Box: 11-0236, Riad El-Solh, Beirut, Lebanon |
| |
| Abstract: | |
| |
| Keywords: | Constraint satisfaction problems(CSPs)and languages formal specifications typed predicate calculus language interpreter |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《国际自动化与计算杂志》浏览原始摘要信息 |
|
点击此处可从《国际自动化与计算杂志》下载全文 |
