A BDD-based polytime algorithm for cost-bounded interactive configuration

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2006, Pages 62-67

  Hadzic, Tarik ^a   Andersen, Henrik Reif ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DECISION SUPPORT SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; PARAMETER ESTIMATION; POLYNOMIALS; PROBLEM SOLVING; REAL TIME SYSTEMS;

BINARY DECISION DIAGRAMS (BDD); CONSTRAINT SATISFACTION PROBLEM (CSP); USER INTERACTION;

LEARNING ALGORITHMS;

EID: 33750737428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Amilhastre, J.; Fargier, H.; and Marquis, P. 2002. Consistency restoration and explanations in dynamic CSPs-application to configuration. Artificial Intelligence 1-2.
2. Bryant, R. E. 1986. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 8:677-691.
3. CLib. online. Configuration benchmarks library. http://www.itu.dk/doi/ VeCoS/clib/.
4. Cormen, T.; Leiserson, C.; Rivest, R.; and Stein, C. 2001. Introduction to Algorithms. The MIT Press, Second edition.
5. Dechter, R. 2003. Constraint Processing. Morgan Kaufmann.
6. Hadzic, T.; Subbarayan, S.; Jensen, R. M.; Andersen, H. R.; Møller, J.; and Hulgaard, H. 2004. Fast backtrack-free product configuration using a precompiled solution space representation. In PETO Conference. DTU-tryk.
7. Hadzic, T.; Jensen, R.; and Andersen, H. R. 2006, online. Notes on Calculating Valid Domains. http://www.itu.dk/~tarik/cvd/cvd.pdf.
8. Jensen, R. M. online. CLab: A C++ library for fast backtrack-free interactive product configuration. http://www.itu.dk/people/rmj/clab/.
9. Madsen, J. N. 2003. Methods for interactive constraint satisfaction. Master's thesis, Department of Computer Science, University of Copenhagen.
10. Møller, J.; Andersen, H. R.; and Hulgaard, H. 2004. Product configuration over the internet. In Proceedings of the 6th INFORMS.
11. Subbarayan, S.; Jensen, R. M.; Hadzic, T.; Andersen, H. R.; Hulgaard, H.; and Møller, J. 2004. Comparing two implementations of a complete and backtrack-free interactive configurator. In CP'04 CSPIA Workshop, 97-111.