By Topic

Improving efficiency in Constraint Logic Programming through constraint modeling with rules and hypergraphs

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Ligeza, A. ; AGH Univ. of Sci. & Technol., Kraków, Poland

Constraint Satisfaction Problems typically exhibit very strong combinatorial explosion of exponential nature. This is due to their intrinsic nature: a number of variables have to be assigned values from their domains. This induces a very large number of potential solutions to be explored. Most typical approaches are oriented towards reduction of the inevitable search through advanced constraint propagation methods. In this paper we analyze a possibility of improving efficiency in Constraint Logic Programming. A hypergraph model of constraints is proposed as a base tool for planning approach. Building the partial solution plan in the form of definite sequence of variables is performed a priori. The plan is executed with a classical backtrack search. The whole process is focused on efficient use of variable values propagation rules. Two example cryptoarithmetic problems are explored in order to explain the proposed approach. The reported results are amazing in comparison to contemporary tools.

Published in:

Computer Science and Information Systems (FedCSIS), 2012 Federated Conference on

Date of Conference:

9-12 Sept. 2012