Using microsoft solver foundation to analyse feature models and configurations. - Juan Carlos Navarro; Jaime Chavarriaga (EATIS, 2016)