Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.

Camilo Correa-Restrepo, Jacques Robin, Ral Mazo

Browse the full GPCE paper archive.