A. A. Armstrong and E. H. Durfee, Dynamic prioritization of complex agents in distributed constraint satisfaction problems, AAAI/IAAI, 1997.

R. J. Bayardo and D. P. Miranker, A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem, AAAI, 1996.

R. Behjati and S. Nejati, Backtrack-free consistent configuration of cyber-physical systems, 2014.

R. Behjati, S. Nejati, and L. C. Briand, Architecture-level configuration of largescale embedded software systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01446633

R. Behjati, T. Yue, L. C. Briand, and B. Selic, SimPL: A product-line modeling methodology for families of integrated control systems, Information and Software Technology, vol.55, issue.3, 2013.
DOI : 10.1016/j.infsof.2012.09.006

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010.
DOI : 10.1016/j.is.2010.01.001

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cortés, FaMa, VaMoS, 2007.
DOI : 10.1007/978-3-642-36583-6_11

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, 1986.
DOI : 10.1109/TC.1986.1676819
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027

M. Carlsson and P. Mildner, Abstract, Theory and Practice of Logic Programming, vol.12, issue.1-2, 2010.
DOI : 10.1007/978-1-4615-2690-2_8

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, PLILP, 1997.
DOI : 10.1007/BFb0033845

K. Czarnecki and P. Kim, Cardinality-Based Feature Modeling and Constraints: A Progress Report, Workshop on Software Factories at OOPSLA, 2005.

R. Dechter and D. Frost, Backjump-based backtracking for constraint satisfaction problems, Artificial Intelligence, vol.136, issue.2, 2002.
DOI : 10.1016/S0004-3702(02)00120-0
URL : http://doi.org/10.1016/s0004-3702(02)00120-0

B. K. Eames, S. Neema, and R. Saraswat, DesertFD: a finite-domain constraint based tool for??design space exploration, Design Automation for Embedded Systems, vol.13, issue.6, p.2010
DOI : 10.1007/s10617-009-9049-z

C. M. Fonseca and P. J. Fleming, An Overview of Evolutionary Algorithms in Multiobjective Optimization, Evolutionary Computation, vol.3, issue.1, 1995.
DOI : 10.1162/evco.1994.2.3.221

E. C. Freuder, A Sufficient Condition for Backtrack-Free Search, Journal of the ACM, vol.29, issue.1, 1982.
DOI : 10.1145/322290.322292
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.1184

F. Glover and E. D. Taillard, A user's guide to tabu search, Annals of Operations Research, vol.17, issue.1, 1993.
DOI : 10.1007/BF02078647
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.302.2959

T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. Møller et al., Fast backtrack-free product configuration using a precompiled solution space representation, PETO, 2004.

P. V. Hentenryck, V. A. Saraswat, and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), Selected Papers from Constraint Programming: Basics and Trends, 1995.
DOI : 10.1007/3-540-59155-9_15

Á. Horváth and D. Varró, Dynamic constraint satisfaction problems over models. Software and Systems Modeling, 2010.

M. Janota, G. Botterweck, R. Grigore, and J. Marques-silva, How to Complete an Interactive Configuration Process?, SOFSEM, 2010.
DOI : 10.1007/978-3-642-11266-9_44
URL : http://arxiv.org/abs/0910.3913

S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, Optimization by simulated annealing, Science, 1983.
DOI : 10.1126/science.220.4598.671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.7607

F. J. Linden, K. Schmid, and E. Rommes, Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering, 2007.

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-michiels, Transforming attribute and clone-enabled feature models into constraint programs over finite domains, ENASE, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00707546

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, pp.95-132, 1974.
DOI : 10.1016/0020-0255(74)90008-5

K. Pohl, G. Böckle, and F. J. Linden, Software Product Line Engineering: Foundations , Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming, 2006.

R. M. Smullyan, First-Order Logic, 1968.
DOI : 10.1201/b10689-23

E. R. Van-der-meer, A. Wasowski, and H. R. Andersen, Efficient interactive configuration of unbounded modular systems, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, 2006.
DOI : 10.1145/1141277.1141370

Y. Xiong, A. Hubaux, S. She, and K. Czarnecki, Generating range fixes for software configuration, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227206