DEPICT： A High-level Formal Language for Modeling Constraint Satisfaction Problems

The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming la...

Full description

Saved in:

Bibliographic Details
Published in:	International journal of automation and computing Vol. 5; no. 2; pp. 208 - 216
Main Authors:	Abbas, Abdulwahed M., Tsang, Edward P. K., Nasri, Ahmad H.
Format:	Journal Article
Language:	English
Published:	Heidelberg Institute of Automation, Chinese Academy of Sciences 01-04-2008 Springer Nature B.V Department of Computer Science, The University of Balamand, P. O. Box 100, Tripoli, Lebanon%Department of Computing and Electronic Systems, The University of Essex, Wivenhoe Park, Colchester CO4 3SQ, UK%Department of Computer Science, The American University of Beirut, P. O. Box: 11-0236, Riad El-Solh, Beirut, Lebanon
Subjects:	Algorithms Benchmarking CAE) and Design Computation Computer Applications Computer-Aided Engineering (CAD Control CSPs Engineering Interpreters Mathematical models Mechatronics Programming languages Prototypes Robotics Studies Turning 计算机技术计算机语言语言程序 Constraint satisfaction problems (CSPs) and languages formal specifications typed predicate calculus language interpreter
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!