Search Results (All Fields:"SAT-solvers")

Resultados de la Navegación (2)

RSS para este conjunto de resultadosRSS para este conjunto de resultados

Refinar

  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.92 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.63 681 727