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

DEPICT 0.1 : A Modeling Language for Constraint Satisfaction Problems

SUBMITTED BY: Abdulwahed Abbas
University of Balamand

Edward Tsang
University of Essex, UK

ABSTRACT: The past decade saw rapid progress of constraint satisfaction technology. Many practical algorithms have been developed to solve larger and harder problems. The degree of maturity this technology has so far reached begs the support of well-established software engineering tools. This paper targets a formal specification language to help in specifying (and therefore solving) constraint satisfaction problems. Towards this goal, this paper introduces the language DEPICT 0.1, illustrates its use through the specification of a few selected benchmark examples, and concludes with an approach to a realization of this language, which is (again) illustrated through suggestive implementations of some of the above examples.

Keywords: Constraint Satisfaction, Languages, Formal Specifications, Typed Predicate Calculus.
facebook twitter LinkedIn



Social Media
University of Balamand,
Balamand Al Kurah,

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