Multipath Detection Using Boolean Satisfiability Techniques.

Fadi A. Aloul Mohamed G. El-Tarhuni

Published in: J. Comput. Networks Commun. (2011)

Keyphrases

multipath
boolean satisfiability
end to end
multiple paths
fading channels
antenna array
branch and bound algorithm
routing algorithm
symmetry breaking
randomly generated
probabilistic planning
sat solvers
integer linear programming
lower bound
anomaly detection
peer to peer
high resolution