Feature interaction as a satisfiability problem

IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems - Proceedings

Volumn , Issue , 1999, Pages 339-346

  Areces, Carlos ^a   Bouma, Wiet ^a   de Rijke, Maarten ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONGESTION CONTROL (COMMUNICATION); FORMAL LOGIC; SOFTWARE ENGINEERING; TELECOMMUNICATION NETWORKS; TELEPHONE TRAFFIC ANALYSIS;

DESCRIPTION LOGICS; FEATURE INTERACTION; SATISFIABILITY PROBLEM;

TELEPHONE SYSTEMS;

EID: 0033307944     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)