Skip Ribbon Commands Skip to main content
Help (new window)
University of Balamand > Academics > Research > Seminars > Abdulwahed Abbas

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

Thursday, 14 December, 2006 from 12:30 to 13:30 at Jacobo Auditorium

SUBMITTED BY: Abdulwahed Abbas
Dept. of Computer Science
University of Balamand

Edward Tsang
Dept. of Computer Science
The Uni. of Essex,

Ahmad Nasri
Dept. of Computer Science
American Uni. of Beirut

ABSTRACT: The past decade witnessed rapid development of constraint satisfaction technologies. More and more algorithms are now able to solve 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 then solved. Along this direction, this paper presents DEPICT, the language. Its use is illustrated through modeling a couple 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 the interpreter that shows how one such model is typically solved.
facebook twitter LinkedIn



Social Media
University of Balamand,
Balamand Al Kurah,

Tel:  +961-6-930250
Fax: +961-6-930278