Failed Literal Detection for QBF.

Florian Lonsing Armin Biere

Published in: SAT (2011)

Keyphrases

detection algorithm
false alarms
anomaly detection
detection method
detection rate
detection accuracy
false positives
change detection
artificial intelligence
computer vision
orders of magnitude
event detection
automatic detection
quantified boolean formulas