In these notes we formally describe the functionality of Calculating Valid Domains from the BDD r... more In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the CLab configuration framework.
Principles and Practice of Constraint Programming, 2006
Interactive configuration is the process of assisting a user in selecting values for parameters t... more Interactive configuration is the process of assisting a user in selecting values for parameters that respect given constraints. Inspired by the increasing demand for the real-time configuration in Supply Chain Management, we apply a compilation approach to the problem of interactive distributed configuration where the user options depend on constraints fragmented over a number of different locations connected through a network. We formalize the problem, suggest a solution approach based on an asynchronous compilation scheme, and perform experimental verification.
Principles and Practice of Constraint Programming, 2005
Given a configuration of parameters that satisfies a set of constraints, and given external chang... more Given a configuration of parameters that satisfies a set of constraints, and given external changes that change and fix the value of some parameters making the configuration invalid, the problem of interactive reconfiguration is to assist a user to interactively reassign a subset of the parameters to reach a consistent configuration again. In this paper, we present two BDD-based algorithms
... 1 Department of Innovation, IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copen... more ... 1 Department of Innovation, IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark {sathi,rmj,tarik,hra}@itu.dk 2 ... Example 1. Consider specifying a T-shirt by choosing the color (black, white, red, or blue), the size (small, medium, or large) and ...
Principles and Practice of Constraint Programming, 2004
Configuration problems emerged as a research topic in the late 1980s as the result of a manufactu... more Configuration problems emerged as a research topic in the late 1980s as the result of a manufacturing shift from mass-production to mass-customization. Interactive configuration is an important application area where a user interactively tailors a product (a car, a PC, a device driver,...) to his specific needs using a supporting program called the configurator. Each step in user-configurator interaction includes a user selecting a setting for some specific component or property of his product, and the configurator calculating a list of valid choices for the other unspecified components of the product. The configurator’s calculation of valid choices should satisfy the following requirements: Any value that can be extended to a valid product specification should be included in the list of valid choices (i.e., we can specify any valid product specification). Valid choices should contain only those values that could be extended to a valid specification (i.e., the user will never be forced to backtrack). The configurator’s response time should be fast enough to provide a truly interactive user experience.
In these notes we formally describe the functionality of Calculating Valid Domains from the BDD r... more In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the CLab configuration framework.
Principles and Practice of Constraint Programming, 2006
Interactive configuration is the process of assisting a user in selecting values for parameters t... more Interactive configuration is the process of assisting a user in selecting values for parameters that respect given constraints. Inspired by the increasing demand for the real-time configuration in Supply Chain Management, we apply a compilation approach to the problem of interactive distributed configuration where the user options depend on constraints fragmented over a number of different locations connected through a network. We formalize the problem, suggest a solution approach based on an asynchronous compilation scheme, and perform experimental verification.
Principles and Practice of Constraint Programming, 2005
Given a configuration of parameters that satisfies a set of constraints, and given external chang... more Given a configuration of parameters that satisfies a set of constraints, and given external changes that change and fix the value of some parameters making the configuration invalid, the problem of interactive reconfiguration is to assist a user to interactively reassign a subset of the parameters to reach a consistent configuration again. In this paper, we present two BDD-based algorithms
... 1 Department of Innovation, IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copen... more ... 1 Department of Innovation, IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark {sathi,rmj,tarik,hra}@itu.dk 2 ... Example 1. Consider specifying a T-shirt by choosing the color (black, white, red, or blue), the size (small, medium, or large) and ...
Principles and Practice of Constraint Programming, 2004
Configuration problems emerged as a research topic in the late 1980s as the result of a manufactu... more Configuration problems emerged as a research topic in the late 1980s as the result of a manufacturing shift from mass-production to mass-customization. Interactive configuration is an important application area where a user interactively tailors a product (a car, a PC, a device driver,...) to his specific needs using a supporting program called the configurator. Each step in user-configurator interaction includes a user selecting a setting for some specific component or property of his product, and the configurator calculating a list of valid choices for the other unspecified components of the product. The configurator’s calculation of valid choices should satisfy the following requirements: Any value that can be extended to a valid product specification should be included in the list of valid choices (i.e., we can specify any valid product specification). Valid choices should contain only those values that could be extended to a valid specification (i.e., the user will never be forced to backtrack). The configurator’s response time should be fast enough to provide a truly interactive user experience.
Uploads
Papers by Tarik Hadzic