"NP-complete problems" . "Boolean algebra" . "Software quality" . "Logic in computer science" . "Android (robot) films" . "Formal methods" . "Electronic design automation" . "Patent law" . "Satisfiability problems" .