Buscar
Mostrando ítems 1-2 de 2
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 highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, ...
Ponencia
Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making
(Association for Computing Machinery (ACM), 2021)
The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, relevant anal-yses remain open research problems. There exist analyses alterna-tives such as SAT ...