Search Results (All Fields:"SAT-solvers", isMemberOf:"bibliuned:Setopenaire")

Resultados de la Navegación (2)

RSS para este conjunto de resultadosRSS para este conjunto de resultados

  Search Relevance Visitas Descargas
Heradio Gil, Rubén, Fernández Amorós, David José, Cerrada, José A. y Cerrada, Carlos . (2011) Supporting commonality-based analysis of software product lines.  0.97 649 637
Pérez Morago, Héctor José. BDD algorithms to perform hard analysis operations on variability models . 2016. Universidad Nacional de Educación a Distancia (España). Escuela Internacional de Doctorado. Programa de Doctorado en Ingeniería de Sistemas y Control  0.68 681 727