Formula Simplification via Invariance Detection by Algebraically Indexed Types.

Takuya Matsuzaki Tomohiro Fujita

Published in: IJCAR (2022)

Keyphrases

automatic detection
detection rate
detection algorithm
object detection
detection method
false positives
false alarms
detection accuracy
genetic algorithm
multiresolution
partial occlusion
detection scheme