RT Conference Proceedings
T1 Nemo: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints.
A1 Muñoz-Guerra, Daniel Jesús
A1 Oh, Jeho
A1 Pinto-Alarcón, Mónica
A1 Fuentes-Fernández, Lidia
A1 Batory, Don
K1 Ingeniería del software
AB Real-world Software Product Lines (SPLs) need Numerical Feature Models (NFMs) whose features not only have boolean values satisfying boolean constraints, but also have numeric attributes satisfying arithmetic constraints. A key operation on NFMs finds near-optimal performing products, which requires counting the number of SPL products. Typical constraint satisfaction solvers perform poorly on counting. Nemo (Numbers, features, models) supports NFMs by bit-blasting, the technique that encodes arithmetic as boolean clauses. Nemo translates NFMs to propositional formulas whose products can be counted efficiently by #SAT solvers, enabling near-optimal products to be found. We evaluate Nemo with a diverse set of real-world NFMs, complex arithmetic constraints, and counting experiments in this paper.
PB Springer Nature
SN 978-3-031-08129-3
SN 1611-3349
YR 2022
FD 2022-06-10
LK https://hdl.handle.net/10630/40991
UL https://hdl.handle.net/10630/40991
LA eng
NO Munoz, Pinto and Fuentes work is supported by the European Union’s H2020 research and innovation programme under grant agreement DAEMON 101017109, by the projects co-financed by FEDER funds LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 and Rhea P18-FR-1081 and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación. Batory is retired, writing free textbooks [5], and is walking dogs for wages.
NO https://www.springernature.com/gp/open-science/policies/book-policies
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026