2017 (vol. 27) - Number 2

*W. Bozejko, M. Wodecki:*

Discrete Systems: Theory and Applications. Special issue.

*G. Bocewicz, Z. Banaszak, I. Nielsen:*

Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks

*W. Bozejko, A. Gnatowski, R. Idzikowski, M. Wodecki:*

Cyclic flow shop scheduling problem with two-machine cells

*W. Bozejko, M. Uchronski,, Z. Chaczko, M. Wodecki:*

Parallel patterns determination in solving cyclic flow shop problem with setups

*J. Brodny, S. Alszer, J. Krystek, M. Tutak:*

Availability analysis of selected mining machinery

*K. Chmielewska, D. Formanowicz, P. Formanowicz:*

The effect of cigarette smoking on endothelial damage and atherosclerosis development - modeled and analyzed using Petri nets

*A. Galuszka, J. Krystek, A. Swierniak, T. Grzejszczak, C. Lungoci:*

Information management in passenger traffic supporting system design as a multi-criteria discrete optimization task

*M. Kardynska, J. Smieja:*

Sensitivity analysis of signaling pathway models based on discrete-time measurements

*J. Kasprzyk, P. Krauze, S. Budzan, J. Rzepecki:*

Vibration control in semi-active suspension of the experimental off-road vehicle using information about suspension deflection

*M. Koryl, D. Mazur:*

Towards emergence phenomenon in business process management

*M. Koryl:*

Active resources concept of computation for enterprise software

*H. Krawczyk, M. Nykiel:*

Mobile devices and computing cloud resources allocation for interactive applications

*W. Mitkowski, W. Bauer, M. Zagórowska:*

Discrete-time feedback stabilization

*J. Pempera:*

An exact block algorithm for no-idle RPQ problem

*K. Rzosinska, D. Formanowicz, P. Formanowicz:*

The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model

*K. Skrzypczyk , M. Mellado:*

Vehicle navigation in populated areas using predictive control with environmental uncertainty handling

*W. Bozejko, J. Pempera, M. Wodecki:*

A fine-grained parallel algorithm for the cyclic flexible job shop problem

ACS Abstract:

**2006 (Volume 16)**

Number 2

**Principles of constraint systems and constraint solvers**

Thom Frühwirth(Faculty of Computer Science, University of Ulm, Germany) | Slim Abdennadher(Department of Computer Science, German University Cairo, Egypt) |

**keywords:** computational logic, executable specifications, rule-based programming, program analysis, algorithms

**An introduction to interval-based constraint processing**

Gerrit Renker, Hatem Ahriz(School of Computing, The Robert Gordon University, Aberdeen, UK) |

Constraint programming is often associated with solving problems over finite domains. Many applications in engineering, cad and design, however, require solving problems over continuous (real-valued) domains. While simple constraint solvers can solve linear constraints with the inaccuracy of floating-point arithmetic, methods based on interval arithmetic allow exact (interval) solutions over a much wider range of problems. Applications of interval-based programming extend the range of solvable problems from non-linear polynomials up to those involving ordinary differential equations.

In this text, we give an introduction to current approaches, methods and implementations of interval-based constraint programming and solving. Special care is taken to provide a uniform and consistent notation, since the literature in this field employs many seemingly different, but yet conceptually related, notations and terminology.

**keywords:** constraint programming, interval-based computation, interval consistency techniques

**Filtering algorithms for the Same and UsedBy constraints**

Nicolas Beldiceanu(Ecole des Mines de Nantes, Nantes Cedex, France) | Irit Katriel, Sven Thiel(Max-Planck-Institut fur Informatik, Saarbrucken, Germany) |

*X*and

*Z*such that

*|X| > |Z|*and assigns values to them such that the multiset of values assigned to the variables in

*Z*is contained in the multiset of values assigned to the variables in

*X*. Same is the special case of UsedBy in which

*|X|=|Z|*. We show algorithms that achieve arc-consistency and bound-consistency for these constraints.

**keywords:** arc-consistency, bound-consistency, constraint programming, filtering algorithm, global constraint, network flow, strongly connected component

**Message delay and asynchronous DisCSP search**

Roie Zivan, Amnon Meisels(Department of Computer Science, Ben-Gurion University of the Negev, Israel) |

**keywords:** distributed constraint satisfaction, search, distributed AI

<< Back