Metraipolis › archive › dc_681bf4e55559

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software — Europe PMC PMID:42027775

Source: Europe PMC (en)
Original: https://europepmc.org/article/MED/42027775
DOI: 10.1016/j.dib.2026.112747
License (as archived): solo-consultazione
Archived: 2026-11-03T09:17:53.183Z
SHA-256 of the archived text: acf4f70238b898dc6619ecc8071524d06806dbabc7e3660067267d0d1fe4b096
Stable URL of this page: https://metraipolis.com/documento/dc_681bf4e55559

How to cite

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software — Europe PMC PMID:42027775 — Europe PMC (en), https://europepmc.org/article/MED/42027775 (solo-consultazione); archived copy: https://metraipolis.com/documento/dc_681bf4e55559 (Metraipolis archive dc_681bf4e55559, sha256 acf4f70238b898dc6619ecc8071524d06806dbabc7e3660067267d0d1fe4b096)

BibTeX

@misc{dc681bf4e55559,
  title = {A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software — Europe PMC PMID:42027775},
  howpublished = {Europe PMC (en)},
  url = {https://europepmc.org/article/MED/42027775},
  note = {License solo-consultazione; archived copy https://metraipolis.com/documento/dc_681bf4e55559; sha256 acf4f70238b898dc6619ecc8071524d06806dbabc7e3660067267d0d1fe4b096},
  year = {2026}
}

Archived text

The text is not reproduced here: the archive holds it as solo-consultazione (consultation only, no republication). Read it at the original source: https://europepmc.org/article/MED/42027775. Agents can read the archived copy with the MCP tool read_document.