Table of Contents Author Guidelines Submit a Manuscript
Scientific Programming
Volume 2016, Article ID 5102616, 13 pages
http://dx.doi.org/10.1155/2016/5102616
Research Article

A Hybrid Programming Framework for Modeling and Solving Constraint Satisfaction and Optimization Problems

Department of Information Systems, Kielce University of Technology, 25-314 Kielce, Poland

Received 2 February 2016; Revised 25 May 2016; Accepted 21 June 2016

Academic Editor: Can Özturan

Copyright © 2016 Paweł Sitek and Jarosław Wikarek. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. F. Rossi, P. Van Beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), Elsevier Science, New York, NY, USA, 2006.
  2. Y. Hamadi, E. E. Monfroy, and F. Saubion, Autonomous Search, Springer, Heidelberg, Germany, 2011. View at Publisher · View at Google Scholar
  3. A. Schrijver, Theory of Linear and Integer Programming, John Wiley & Sons, New York, NY, USA, 1998.
  4. K. Apt and M. Wallace, Constraint Logic Programming Using Eclipse, Cambridge University Press, Cambridge, UK, 2006.
  5. M. G. Buscemi and U. Montanari, “A survey of constraint-based programming paradigms,” Computer Science Review, vol. 2, no. 3, pp. 137–141, 2008. View at Publisher · View at Google Scholar · View at Scopus
  6. T. Achterberg, T. Berthold, T. Koch, and K. Wolter, “Constraint integer programming: a new approach to integrate CP and MIP,” in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, vol. 5015 of Lecture Notes in Computer Science, pp. 6–20, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar
  7. A. Bockmayr and T. Kasper, “Branch-and-infer: a framework for combining CP and IP,” in Constraint and Integer Programming, vol. 27 of Operations Research/Computer Science Interfaces Series, pp. 59–87, 2004. View at Publisher · View at Google Scholar · View at MathSciNet
  8. J. N. Hooker, “Logic, optimization, and constraint programming,” INFORMS Journal on Computing, vol. 14, no. 4, pp. 295–321, 2002. View at Publisher · View at Google Scholar · View at MathSciNet
  9. V. Jain and I. E. Grossmann, “Algorithms for hybrid MILP/CP models for a class of optimization problems,” INFORMS Journal on Computing, vol. 13, no. 4, pp. 258–276, 2001. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  10. M. Milano and M. Wallace, “Integrating operations research in constraint programming,” Annals of Operations Research, vol. 175, no. 1, pp. 37–76, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. P. Sitek and J. Wikarek, “A hybrid method for modeling and solving constrained search problems,” in Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS '13), pp. 385–392, Kielce, Poland, September 2013. View at Scopus
  12. P. Sitek and J. Wikarek, “A hybrid approach to the optimization of multiechelon systems,” Mathematical Problems in Engineering, vol. 2015, Article ID 925675, 12 pages, 2015. View at Publisher · View at Google Scholar · View at Scopus
  13. P. Sitek, “A hybrid CP/MP approach to supply chain modelling, optimization and analysis,” in Proceedings of the 2014 Federated Conference on Computer Science and Information Systems (FedCSIS '14), pp. 1345–1352, Warsaw, Poland, September 2014. View at Publisher · View at Google Scholar · View at Scopus
  14. Lindo Systems, LINDO Software for Integer Programming, Linear Programming, Nonlinear Programming, Stochastic Programming, Global Optimization, 2016, http://www.lindo.com.
  15. SCIP, 2016, http://scip.zib.de.
  16. Eclipse, “Eclipse—The Eclipse Foundation open source community website,” 2016, http://www.eclipse.org.
  17. P. Sitek and J. Wikarek, “A novel approach to decision support and optimization of group job handling for multimodal processes in manufacturing and services,” in Proceedings of the 15th IFAC Symposium on Information Control Problems in Manufacturing (INCOM '15), pp. 2115–2120, May 2015. View at Publisher · View at Google Scholar · View at Scopus
  18. O. Guyon, P. Lemaire, Ă. Pinson, and D. Rivreau, “Solving an integrated job-shop problem with human resource constraints,” Annals of Operations Research, vol. 213, no. 1, pp. 147–171, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. J. Blazewicz, J. K. Lenstra, and A. H. Rinnooy Kan, “Scheduling subject to resource constraints: classification and complexity,” Discrete Applied Mathematics, vol. 5, no. 1, pp. 11–24, 1983. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. S. Bąk, R. Czarnecki, and S. Deniziak, “Synthesis of real-time cloud applications for Internet of Things,” Turkish Journal of Electrical Engineering and Computer Sciences, vol. 23, no. 3, pp. 913–929, 2013. View at Publisher · View at Google Scholar · View at Scopus