Efficient reachability checking using sequential SAT.

Ganapathy Parthasarathy Madhu K. Iyer Kwang-Ting Cheng Li-C. Wang

Published in: ASP-DAC (2004)

Keyphrases

real time
machine learning
computationally expensive
databases
cost effective
satisfiability problem