We present a constraint-based approach to interactive product configuration. Our configurator tool FdConfig is based on feature models for the representation of the product domain. Such models can be directly mapped into constraint satisfaction problems and dealt with by appropriate constraint solvers. During the interactive configuration process the user generates new constraints as a result o...

In many countries, a number of industrial estates have been established to support the growth sector, which is an essential strategy drive economic growth. Planning for location factories within estate, however, becomes complex, given various types plants and requirements utilities operations park. this research, we model analyze bi-objective optimization locating estate by considering economic...

Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce c...

Discovering significant itemsets is one of the fundamental tasks in data mining. It has recently been shown that constraint programming is a flexible way to tackle data mining tasks. With a constraint programming approach, we can easily express and efficiently answer queries with user’s constraints on itemsets. However, in many practical cases queries also involve user’s constraints on the data...

We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of L. We obtain various complexity classification theorems for these logics L as each ranges over models A, in the spirit of the dichotomy conjecture for the Constraint Satisfaction Problem – which itself may be seen as...

This paper is motivated by the rising interest in assessing the effect of disruptions in resources and environmental conditions on economic growth. Such an assessment requires, ultimately, the use of truly integrated models of the climate and economic systems. For these purposes, we have developed a Non-Equilibrium Dynamic Model (NEDyM) by introducing investment dynamics and nonequilibrium effe...

Views are a standard abstraction in constraint programming: They make it possible to implement a single version of each constraint, while avoiding to create new variables and constraints that would slow down propagation. Traditional constraint-programming systems provide the concept of variable views which implement a view of the type y = f(x) by delegating all (domain and constraint) operation...

Abstract We show that limited wage flexibility in economic downturns generates strong and state-dependent amplification of uncertainty shocks. It also explains the cyclical behaviour empirical measures uncertainty. In presence matching frictions, an occasionally binding constraint on downward adjustment enhances concavity firms’ hiring rule, resulting endogenous profit risk-premium. turn, highe...