@article {IOPORT.06081620, author = {Lig\c{e}za, Antoni}, title = {Models and tools for improving efficiency in constraint logic programming.}, year = {2011}, journal = {Decision Making in Manufacturing and Services}, volume = {5}, number = {1-2}, issn = {1896-8325}, pages = {69-78}, publisher = {AGH University of Science and Technology Press, Krak\'ow}, abstract = {Summary: Constraint satisfaction problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in constraint logic programming. A hypergraph model of constraints is presented and an outline of strategy planning approach focused on entropy minimization is put forward. An example crypto-arithmetic problem is explored in order to explain the proposed approach.}, identifier = {06081620}, }