TY - RPRT TI - Reasoning on Feature Models: Compilation-Based vs. Direct Approaches AU - Pierre Bourhis AU - Laurence Duchien AU - Jérémie Dusart AU - Emmanuel Lonca AU - Pierre Marquis AU - Clément Quinton PY - 2023 UR - https://arxiv.org/abs/2302.06867 ID - 2302.06867 ER -