On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models.

Andrea Bombarda, Angelo Gargantini

Browse the full SPLC paper archive.