Discovering implied constraints in precedence graphs with alternatives

2008 ◽  
Vol 180 (1) ◽  
pp. 233-263 ◽  
Author(s):  
Roman Barták ◽  
Ondřej Čepek ◽  
Pavel Surynek
1994 ◽  
Vol 11 (2) ◽  
pp. 58-62
Author(s):  
Lewis R. Grosenbaugh

Abstract Initial value of the sum of a series of equal payments of R dollars at equal time intervals is V and terminal value is W. It is desired to find total number (N) of such payments and rate of effective periodic compound interest (P) implied by R, V, W under a specified protocol relating start and end of a contract (e.g., a debt repayment, annuity, or lease) to times of first and last payments. Two new equations are derived, completing the set of five needed to solve for any unknown, given any three of the remaining variables and an appropriate protocol. A list of implied constraints has been provided to facilitate early detection of invalid values assigned to trios of "known" variables and to help ensure that required guesses at value of unknowns do not violate implied limits. Erroneous and correct relationships between periodic rate (P) and annual percentage rate (APR) are compared. North. J. Appl. For. 11(2):58-62.


1998 ◽  
Vol 36 (1-2) ◽  
pp. 101-111 ◽  
Author(s):  
Carlos Ramos ◽  
João Rocha ◽  
Zita Vale

10.29007/m767 ◽  
2018 ◽  
Author(s):  
Maria Andreina Francisco ◽  
Pierre Flener ◽  
Justin Pearson

Automata allow many constraints on sequences of variables to be specified in a high-level way for constraint programming solvers. An automaton with accumulators induces a decomposition of the specified constraint into a conjunction of constraints with existing inference algorithms, called propagators. Towards improving propagation, we design a fully automated tool that selects, in an off-line process, constraints that are implied by such a decomposition. We show that a suitable problem-specific choice among the tool-selected implied constraints can considerably improve solving time and propagation, both on a decomposition in isolation and on entire constraint problems containing the decomposition.


Author(s):  
Kavit R. Antani ◽  
Bryan Pearce ◽  
Mary E. Kurz ◽  
Laine Mears ◽  
Kilian Funk ◽  
...  

An assembly line is a flow-oriented production system where the productive units performing the operations, referred to as stations, are aligned in a serial manner. The work pieces visit stations successively as they are moved along the line usually by some kind of transportation system, e.g., a conveyor belt. An important decision problem, called Assembly Line Balancing Problem (ALBP), arises and has to be solved when (re-) configuring an assembly line. It consists of distributing the total workload for manufacturing any unit of the product to be assembled among the work stations along the line. The assignment of tasks to stations is constrained by task sequence restrictions which can be expressed in a precedence graph. However, most manufacturers usually do not have precedence graphs or if they do, the information on their precedence graphs is inadequate. As a consequence, the elaborate solution procedures for different versions of ALBP developed by more than 50 years of intensive research are often not applicable in practice. Unfortunately, the known approaches for precedence graph generation are not suitable for the conditions in the automotive industry. Therefore, we describe a detailed application of a new graph generation approach first introduced by Klindworth et al. [1] that is based on learning from past feasible production sequences. This technique forms a sufficient precedence graph that guarantees feasible line balances. Experiments indicate that the proposed procedure is able to approximate the real precedence graph sufficiently well to detect nearly optimal solutions even for a real-world automotive assembly line segment with up to 317 tasks. In particular, it seems to be promising to use interviews with experts in a selective manner by analyzing maximum and minimum graphs to identify still assumed relations that are crucial for the graph’s structure. Thus, the new approach seems to be a major step to close the gap between theoretical line balancing research and practice of assembly line planning.


Author(s):  
Dorian Rohner ◽  
Myriel Fichtner ◽  
Dominik Henrich
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document