A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems
المؤلفون المشاركون
المصدر
العدد
المجلد 2016، العدد 2016 (31 ديسمبر/كانون الأول 2016)، ص ص. 1-13، 13ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2016-08-03
دولة النشر
مصر
عدد الصفحات
13
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1118262
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر