Login / Signup
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Long Zhang
WanXia Qu
Yinjia Huo
Yang Guo
Sikun Li
Published in:
Wirel. Commun. Mob. Comput. (2018)
Keyphrases
</>
dynamic programming
detection method
experimental evaluation
preprocessing
pairwise
significant improvement
cost function
genetic algorithm
social networks
objective function
wireless sensor networks
computational cost
context aware
constraint satisfaction problems
clustering method
high precision