A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems
Joint Authors
Source
Issue
Vol. 2016, Issue 2016 (31 Dec. 2016), pp.1-13, 13 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2016-08-03
Country of Publication
Egypt
No. of Pages
13
Main Subjects
Abstract EN
This paper proposes a hybrid programming framework for modeling and solving of constraint satisfaction problems (CSPs) and constraint optimization problems (COPs).
Two paradigms, CLP (constraint logic programming) and MP (mathematical programming), are integrated in the framework.
The integration is supplemented with the original method of problem transformation, used in the framework as a presolving method.
The transformation substantially reduces the feasible solution space.
The framework automatically generates CSP and COP models based on current values of data instances, questions asked by a user, and set of predicates and facts of the problem being modeled, which altogether constitute a knowledge database for the given problem.
This dynamic generation of dedicated models, based on the knowledge base, together with the parameters changing externally, for example, the user’s questions, is the implementation of the autonomous search concept.
The models are solved using the internal or external solvers integrated with the framework.
The architecture of the framework as well as its implementation outline is also included in the paper.
The effectiveness of the framework regarding the modeling and solution search is assessed through the illustrative examples relating to scheduling problems with additional constrained resources.
American Psychological Association (APA)
Sitek, Paweł& Wikarek, Jarosław. 2016. A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems. Scientific Programming،Vol. 2016, no. 2016, pp.1-13.
https://search.emarefa.net/detail/BIM-1118262
Modern Language Association (MLA)
Sitek, Paweł& Wikarek, Jarosław. A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems. Scientific Programming No. 2016 (2016), pp.1-13.
https://search.emarefa.net/detail/BIM-1118262
American Medical Association (AMA)
Sitek, Paweł& Wikarek, Jarosław. A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems. Scientific Programming. 2016. Vol. 2016, no. 2016, pp.1-13.
https://search.emarefa.net/detail/BIM-1118262
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1118262