Models and Tools for Improving Efficiency in Constraint Logic Programming
Journal Title: Decision Making in Manufacturing and Services - Year 2011, Vol 5, Issue 1
Abstract
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 cryptoaritmetic problem is explored in order to explain the proposed approach.
Authors and Affiliations
Antoni Ligęza
Keywords
Related Articles
- EP ID EP167002
- DOI 10.7494/dmms.2011.5.1.69
- Views 69
- Downloads 0
A Transfer Line Balancing Problem by Heuristic Methods: Industrial Case Studies
The paper deals with the problem of optimal configuration of a type of transfer lines which are equipped with transfer machines. Such machines perform operations with standard modular spindle heads which are activated se...
A Utility Function to Solve Approximate Linear Equations for Decision Making
Suppose there are a number of decision variables linearly related to a set of outcome variables. There are at least as many outcome variables as the number of decision variables since all decisions are outcomes by themse...
Risks and implications for decision making processes associated with existing design codes or their non-existence
Buckling phenomenon is a perplexing and unresolved issue in many safety critical structures, and it has been heavily regulated. The paper highlights the risks to decision making processes due to growing tendencies of eli...
Three-Machine Flowshop Scheduling Problem to Minimize Total Completion Time with Bounded Setup and Processing Times
The three-machine flowshop scheduling problem to minimize total completion time is studied where setup times are treated as separate from processing times. Setup and processing times of all jobs on all machines are unkno...
Coordinating Contracts in SCM: A Review of Methods and Literature
Supply chain coordination through contracts has been a burgeoning area of re- search in recent years. In spite of rapid development of research, there are only a few structured analyses of assumptions, methods, and appli...