An Approach for Detecting Infeasible Paths Based on a SMT Solver.

Shujuan Jiang Hongyang Wang Yanmei Zhang Meng Xue Junyan Qian Miao Zhang

Published in: IEEE Access (2019)

Keyphrases

search space
shortest path
computationally expensive
statistical machine translation
data sets
neural network
information retrieval
bayesian networks
artificial neural networks
hidden markov models
information extraction
tree search