Industrial linear optimization problems solved by constraint logic programming
Raymond Bisdorff,S. Laurent +1 more
Reads0
Chats0
TLDR
This paper proposes CLP solutions for two industrial linear optimization problems respectively using the Prolog III and the CHIP language and illustrates the general linear rational solver.About:
This article is published in European Journal of Operational Research.The article was published on 1995-07-07 and is currently open access. It has received 10 citations till now. The article focuses on the topics: Branch and price & Integer programming.read more
Citations
More filters
Journal ArticleDOI
Potential impacts of industrial structure on energy consumption and CO2 emission: a case study of Beijing
TL;DR: In this paper, an optimization model is developed based on the Input-Output model to assess the potential impacts of industrial structure on the energy consumption and CO2 emission in Beijing, China.
Journal ArticleDOI
A review of planning and scheduling systems and methods for integrated steel production
TL;DR: A comparative analysis of the production processes and production management problems for the SM–CC–HR and the traditional cold charge process is given and planning and scheduling systems developed and methods used for SM– CC–HR production are reviewed.
Journal ArticleDOI
A multiple traveling salesman problem model for hot rolling scheduling in Shanghai Baoshan Iron & Steel Complex
TL;DR: The model, solution method, and system developed and implemented for hot rolling production scheduling in Shanghai Baoshan Iron & Steel Complex shows 20% improvement over the previous manual based system.
Journal ArticleDOI
Optimizing the industrial structure of a watershed in association with economic–environmental consideration: an inexact fuzzy multi-objective programming model
TL;DR: In this paper, an inexact fuzzy multi-objective programming model (IFMOP) is developed for dealing with industrial structure optimization problems under uncertainty, which can effectively reflect dynamic, interactive complex, and uncertain characteristics of industrial system without unrealistic simplification.
Book ChapterDOI
A Declarative Framework for Constrained Search Problems
Paweł Sitek,Jarosław Wikarek +1 more
TL;DR: This paper proposes a declarative framework for decision support system (DSS) for constrained search problems implemented by CLP and relational SQL database and illustrates this concept by the implementation of a DSS for scheduling problems with external resources in different production organization environments.
References
More filters
Proceedings ArticleDOI
Constraint logic programming
Joxan Jaffar,Jean-Louis Lassez +1 more
TL;DR: In this article, a class of logic programming languages, called CLP languages, are defined, all of which share the same essential semantic properties and are based on a unified formal semantics.
Journal Article
The Constraint Logic Programming Language CHIP.
Mehmet Dincbas,Pascal Van Hentenryck,Helmut Simonis,Abderrahmane Aggoun,Thomas Graf,Françoise Berthier +5 more
An introduction to Prolog III
TL;DR: The Prolog III programming language as discussed by the authors extends Prolog by redefining the fundamental process at its heart, unification, which is the unification process of the Prolog programming language, and it can be used for unification.
Journal ArticleDOI
An introduction to Prolog III
TL;DR: The Prolog III programming language extended by redefining the fundamental process at its heart: unification is presented and its capabilities are illustrated.
Journal ArticleDOI
Solving large combinatorial problems in logic programming
TL;DR: Chip as discussed by the authors is a constraint logic-programming language combining the declarative aspects of PROLOG with the efficiency of constraint-solving techniques, which allows a natural expression of problems to be executed as efficiently as special-purpose programs written in procedural languages.