Fast detection of node mergers using logic implications.

Yung-Chih Chen Chun-Yao Wang

Published in: ICCAD (2009)

Keyphrases

detection accuracy
detection algorithm
logic programming
detection method
false positives
automatic detection
detection rate
modal logic
social network analysis
multi valued
automated reasoning
false alarms
graph structure
databases
object recognition
cooperative
case study
genetic algorithm