UOBScholar Hub
UOB Libraries created the UOBScholar Hub, an Institutional Repository (IR) for archiving and collecting all the research output of the UOB community. It aims to improve the visibility, usage and impact of research conducted at UOB. Materials included are: academic journal articles, conference papers and presentations, books and book chapters, ongoing research papers, reports and patents.
Submit your Publication
Please use this identifier to cite or link to this item:
https://scholarhub.balamand.edu.lb/handle/uob/860| Title: | Toward a general language for the specification of constraint satisfaction problems | Authors: | Abbas, Abdulwahed Tsang, Edward P.K |
Affiliations: | Department of Computer Science | Keywords: | Constraint satisfaction problems (CSPs) and languages Formal specification Type Theory First-Order Predicate Calculus The Z Specification Language |
Issue Date: | 2001 | Conference: | Proceedings, Constraint Programming, Artificial Intelligence and Operations Research Workshop (April 2001 : London, UK) | Abstract: | The past decade saw rapid progress toward prominence of constraint satisfaction technology. Many practical algorithms have been developed to solve larger and larger problems. The degree of maturity in this technology begs the support of well-established software engineering tools. This paper targets a formal specification language DEPICT 0.1 that can aid in the formulation of constraint satisfaction problems and the identification of suitable algorithms for their solutions. This paper outlines, through a few selected examples, suitable characteristics that DEPICT 0.1 should possess and concludes with some of the benefits that can arise from that. |
URI: | https://scholarhub.balamand.edu.lb/handle/uob/860 | Open URL: | Link to full text | Type: | Conference Paper |
| Appears in Collections: | Department of Computer Science |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.