A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software

1. Heradio,R.
2. Cerrada,C.
3. Abad,I.
4. Aranda,E.
5. Escribano,J.J.
6. Fernandez-Amoros,D.

Export

Export ×

MLA

modern-language-association

APA

apa

Chicago

chicago-fullnote-bibliography

Harvard

harvard-cite-them-right

Vancouver

vancouver-author-date

---

RIS BibTex

Export ×

This document cannot be exported because it belongs to another portal.

Full text

lock_openFull text externo

DOI: 10.1016/J.DIB.2026.112747 GOOGLE SCHOLAR lock_openOpen access editor

Data source: Scopus