TY  - RPRT
TI  - Reverse Engineering Code Dependencies: Converting Integer-Based Variability to Propositional Logic
AU  - Adam Krafczyk
AU  - Sascha El-Sharkawy
AU  - Klaus Schmid
PY  - 2021
DO  - 10.1145/3236405.3237202
UR  - https://arxiv.org/abs/2110.05875
ID  - 2110.05875
ER  -