Sign in
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