Locating Errors in Faulty Formulas.

Sampath Kannan Kevin Tian

Published in: ACM Trans. Algorithms (2019)

Keyphrases

computer vision
fault diagnosis
artificial intelligence
error detection
real time
information retrieval
search engine
information systems
case study
lower bound
prediction error
error analysis
horn clauses