Modeling and verifying NDN-based IoV using CSP.

Ningning Chen Huibiao Zhu Jiaqi Yin Yuan Fei Lili Xiao Minghua Zhu

Published in: J. Softw. Evol. Process. (2022)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
databases
decision trees
three dimensional
face recognition
similarity measure
search algorithm
constraint programming
decomposition methods