Listar Ponencias (Lenguajes y Sistemas Informáticos) por agencia financiadora "Comunidad Autónoma de Madrid"
Mostrando ítems 1-1 de 1
-
Ponencia
Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020)Several relevant analyses on configurable software systems remain intractable because they require examining vast and ...