Non-Local Configuration of Component Interfaces by Constraint Satisfaction
- Submitting institution
-
University of Hertfordshire
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 22766513
- Type
- D - Journal article
- DOI
-
10.1007/s10601-020-09309-y
- Title of journal
- Constraints
- Article number
- -
- First page
- 21
- Volume
- 25
- Issue
- -
- ISSN
- 1383-7133
- Open access status
- Compliant
- Month of publication
- August
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The article is an extended version of a conference paper presented at the International conference on Integrated Formal Methods. It describes a novel constraint satisfaction technique defined in the form of a constraint language called Message Definition Language and describes the solver implementing it. The interdisciplinary nature of the research is demonstrated by the use of deep neural networks for image recognition. Co-author Pavel Zaichenkov is now employed as Senior Software Engineer at Google.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -