A reasoning method for timed CSP based on constraint solving
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/38953 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-38953 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-389532015-01-10T20:59:01Z A reasoning method for timed CSP based on constraint solving Dong, J.S. Hao, P. Sun, J. Zhang, X. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS 342-359 2013-07-04T07:30:38Z 2013-07-04T07:30:38Z 2006 Article Dong, J.S.,Hao, P.,Sun, J.,Zhang, X. (2006). A reasoning method for timed CSP based on constraint solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS : 342-359. ScholarBank@NUS Repository. 3540474609 03029743 http://scholarbank.nus.edu.sg/handle/10635/38953 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Dong, J.S. Hao, P. Sun, J. Zhang, X. |
| format |
Article |
| author |
Dong, J.S. Hao, P. Sun, J. Zhang, X. |
| spellingShingle |
Dong, J.S. Hao, P. Sun, J. Zhang, X. A reasoning method for timed CSP based on constraint solving |
| author_sort |
Dong, J.S. |
| title |
A reasoning method for timed CSP based on constraint solving |
| title_short |
A reasoning method for timed CSP based on constraint solving |
| title_full |
A reasoning method for timed CSP based on constraint solving |
| title_fullStr |
A reasoning method for timed CSP based on constraint solving |
| title_full_unstemmed |
A reasoning method for timed CSP based on constraint solving |
| title_sort |
reasoning method for timed csp based on constraint solving |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/38953 |
| _version_ |
1681082010864451584 |