| References: [1] David, C. Brown. (1998). Defining configuring. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 12
(4) 301–305.
[2] Nieuwenhuis, Robert., Oliveras, Albert., Tinelli, Cesare. (2006). Solving sat and sat modulo theories: from an abstract davis–
putnam–logemann–loveland procedure to dpll (t). Journal of the ACM (JACM) 53 (6) 937–977.
[3] Sebastiani, Roberto., Trentin, Patrick. (2017). On optimization modulo theories, maxSMT and sorting networks. In: International
Conference on Tools and Algorithms for the Construction and Analysis of Systems, 231–248. Springer.
[4] Linda L Zhang. (2014). Product configuration: a review of the state-of-the-art and futureresearch. International Journal of
Production Research, 52 (21) 6381–6398.
[5] Fohn, S. M., Liau, J. S., Greef, A. R., Young, R. E., PJ O’grady. (1995). Configuring computer systems through constraint-based
modeling and interactive constraint satisfaction. Computers in Industry, 27 (1) 3–21.
[6] Aldanondo, Michel., Hadj-Hamou, Khaled., Moynard, Guillaume., Lamothe, Jacques. (2003). Mass customization and configuration:
Requirement analysis and constraint based modeling propositions. Integrated Computer-Aided Engineering, 10 (2)
177–189.
[7] Rossi, Francesca., Beek, Peter Van., Walsh, Toby. (2006). Handbook of constraint programming. Elsevier.
[8] Sabin, Mihaela., Eugene C Freuder, Richard J Wallace. (2003). Greater efficiency for conditional constraint satisfaction. In
International Conference on Principles and Practice of Constraint Programming, 649–663. Springer.
[9] Mittal, Sanjay., Falkenhainer, Brian. (1990). Dynamic constraint satisfaction. In: Proceedings eighth national conference on
artificial intelligence, 25–32.
[10] Barrett, Clark., Tinelli, Cesare. (2018). Satisfiability modulo theories. In: Handbook ofModel Checking, 305–343. Springer.
[11] Hubaux, Arnaud., Jannach, Dietmar., Drescher, Conrad., Murta, Leonardo., Mannisto, Tomi., Czarnecki, Krzysztof., Heymans,
Patrick., Nguyen, Tien., Zanker, Markus. (2012). Unifying software and product configuration: A research roadmap. In: Proceedings
of the 2012 International Conference on Configuration - Volume 958.
[12] Deborah L McGuinness, Harmelen, Frank Van. (2004). Owl web ontology language overview. W3C recommendation, 10 (10).
[13] Razmerita, Liana., Angehrn, Albert., Maedche, Alexander. (2003). Ontology-based user modeling for knowledge management
systems. In: Peter Brusilovsky, Albert Corbett, and Fiorella de Rosis, editors, User Modeling 2003, 213–217, Berlin,
Heidelberg, 2003. Springer Berlin Heidelberg.
[14] Dong, Ming., Yang, Dong., Su, Liyue. (2011). Ontology-based service product configuration system modeling and development.
Expert Systems with Applications, 38 (9) 11770 – 11786.
[15] Wang, X. H., Zhang, D. Q., Gu, T., Pung, H. K. (2004). Ontology based context modeling and reasoning using owl. In IEEE
Annual Conference on Pervasive Computing and Communications Workshops. In: Proceedings of the Second, 18–22, (March). |
