A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration

@inproceedings{Hadzic2006ABP,
  title={A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration},
  author={Tarik Hadzic and Henrik Reif Andersen},
  booktitle={AAAI},
  year={2006}
}
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be conveniently formulated as a Constraint Satisfaction Problem where the constraints are propositional formulas. The problem of interactive configuration was originally inspired by the product configuration problem with the emergence of the masscustomization paradigm in product manufacturing, but has also been applied to other… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Methods for interactive constraint satisfaction

  • J. N. Madsen
  • Master’s thesis, Department of Computer Science…
  • 2003
1 Excerpt

Methods for interactive constraint satisfaction Prod - uct configuration over the internet

  • J. N. Madsen
  • 2003
1 Excerpt

sistency restoration and explanations in dynamic CSPs - application to configuration

  • J. Amilhastre, H. Fargier
  • 2002

Similar Papers

Loading similar papers…