Detecting Feature Interactions in Telecommunication Services with a SAT Solver.

Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno

Browse the full PRDC paper archive.