Programming of Algorithms of Matrix-Represented Constraints Satisfaction by Means of Choco Library

  • Alexander Zuenko
  • Yirii Oleynik
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 875)


The paper proposes an original approach to solving the problem of ineffective processing of qualitative constraints of a subject domain in the framework of constraint programming technology. The approach is based on the use of specialized matrix-like structures, providing a “compressed” representation of constraints over finite domains, as well as using author’s inference algorithms on these structures. The paper presents practical aspects of implementation of user-developed types of constraints and corresponding algorithms-propagators with the help of constraint programming libraries. The algorithms performance has been assessed to clearly demonstrate the advantages of representation and processing of qualitative constraints of a subject domain by means of the above matrix structures.


Constraint satisfaction problem Constraint programming Matrix-like representation of constraints Qualitative constraints 


  1. 1.
    Zuenko, A.: Matrix-like structures for representation and processing of constraints over finite domains. In: Proceedings of the Intelligent Information Technologies for Industry 2018 (IITI 2018) (2018)Google Scholar
  2. 2.
    Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Upper Saddle River (2010)Google Scholar
  3. 3.
    More, T.: Axioms and theorems for a theory of arrays. IBM J. Res. Dev. 17(2), 135–175 (1973). Scholar
  4. 4.
    Kulik, B.: A logic programming system based on cortege algebra. J. Comput. Syst. Sci. Int. 33(2), 159–170 (1995)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Zakrevskij, A.: Integrated model of inductive-deductive inference based on finite predicates and implicative regularities. In: Naidenova, X., Ignatov, D.(eds.) Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems, pp. 1–12. IGI Global, Hershey (2013).
  6. 6.
    Choco Documentation. Accessed 20 Feb 2018

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Institute for Informatics and Mathematical Modeling – Subdivision of the Federal Research CentreKola Science Centre of the Russian Academy of SciencesApatity MurmanskRussia

Personalised recommendations