Sciweavers

Share
AICCSA
2006
IEEE

DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems

9 years 10 months ago
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 languages within which such problems can be modeled and also solved. Along these lines, this paper presents DEPICT, the language. Its use is illustrated through modeling a number of benchmark examples. The paper continues with a description of a prototype system within which such models may be interpreted. The paper concludes with a description of a sample run of this interpreter showing how a problem modeled as such is typically solved.
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H.
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where AICCSA
Authors Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. Nasri
Comments (0)
books