Login / Signup
Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns.
Honglei Zhu
Dahai Jin
Yunzhan Gong
Ying Xing
Mingnan Zhou
Published in:
IEEE Access (2019)
Keyphrases
</>
shortest path
multiple paths
optimal path
path selection
path length
path queries
pattern mining
path finding
social networks
similar patterns
automatic detection
computationally expensive
search space
neural network
constraint networks
sat solvers
linear constraints
data structure
website