Feature Interaction as a Satisfiability Problem

Areces, C., Bouma, W., and de Rijke, M.. Feature Interaction as a Satisfiability Problem. In Proceedings of MASCOTS'99, pp. 339–346, IEEE Computer Society, Los Alamitos, California, October 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:feat99,
  author = {Areces, C. and Bouma, W. and de Rijke, M.},
  title = {Feature Interaction as a Satisfiability Problem},
  booktitle = {Proceedings of \emph{MASCOTS'99}},
  year = {1999},
  pages = {339--346},
  address = {Los Alamitos, California},
  month = {October},
  publisher = {IEEE Computer Society},
}