Constraint and variable-ordering heuristics for compiling configuration problems

IEEE Intelligent Systems

Volumn 22, Issue 1, 2007, Pages 78-81

  Narodytska, Nina ^a   Walsh, Toby ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; ENCODING (SYMBOLS); HEURISTIC ALGORITHMS; HEURISTIC METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONFIGURATION PROBLEMS; CONSTRAINT-ORDERING ALGORITHMS; CONSTRAINT-SATISFACTION PROBLEMS; MULTILEVEL DIRECTED GRAPHS;

CONSTRAINT THEORY;

EID: 33847660057     PISSN: 15411672     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIS.2007.6     Document Type: Article

References (8)

1. C. Sinz, A. Kaiser, and W. Küchlin, "Formal Methods for the Validation of Automotive Product Configuration Data," Artificial Intelligence for Eng. Design, Analysis, and Manufacturing, vol. 17, no. 2, 2003, pp. 75-97; www-sr.informatik.uni-tuebingen.de/~sinz/DC/aiedam.pdf.
2. T. Hadzic et al., "Fast Backtrack-Free Product Configuration using a Precompiled Solution Space Representation," Proc. Int'l Conf. Economic, Technical, and Organizational Aspects of Product Configuration Systems, DTU-tryk, 2004, pp. 131-138.
3. R.E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," IEEE Trans. Computers, vol. 35, no. 8, 1986, pp. 677-691.
4. N. Narodytska and T. Walsh. "(Constraint and Variable Ordering Heuristics for Compiling Configuration Problems," Proc. 17th European Conf. Artificial Intelligence, Workshop on Configuration, 2006, pp. 2-7.
5. B. Bollig and I. Wegener, "Improving the Variable Ordering of OBDDs Is NP-Complete," IEEE Trans. Computers, vol. 45, no. 9, 1996, pp. 993-1002.
6. R. Rudell, "Dynamic Variable Ordering for Ordered Binary Decision Diagrams," Proc. 1993 IEEE/ACM Int'l Conf. Computer-Aided Design. IEEE CS Press, 1993, pp. 42-47.
7. S. Panda and F. Somenzi. "Who Are the Variables in Your Neighborhood." Proc. 1995 IEEE/ACM Int'l Conf. Computer-Aided Design, IEEE CS Press, 1995, pp. 74-77.
8. S.V. Dongen, A Cluster Algorithm for Graphs, tech. report INS-R0010, Nat'l Research Inst. for Mathematics and Computer Science, 2000.