Carlos Areces, Wiet Bouma, Maarten de Rijke. Feature Interaction as a Satisfiability Problem. In MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA. pages 339, IEEE Computer Society, 1999. [doi]
Abstract is missing.