Table of Contents Author Guidelines Submit a Manuscript
Journal of Computer Networks and Communications
Volume 2011, Article ID 365107, 9 pages
http://dx.doi.org/10.1155/2011/365107
Research Article

Multipath Detection Using Boolean Satisfiability Techniques

1Department of Computer Science and Engineering, American University of Sharjah, P.O. Box 26666 Sharjah, United Arab Emirates
2Department of Electrical Engineering, American University of Sharjah, P.O. Box 26666 Sharjah, United Arab Emirates

Received 13 March 2011; Revised 8 August 2011; Accepted 5 September 2011

Academic Editor: Daniele Tarchi

Copyright © 2011 Fadi A. Aloul and Mohamed El-Tarhuni. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

A new technique for multipath detection in wideband mobile radio systems is presented. The proposed scheme is based on an intelligent search algorithm using Boolean Satisfiability (SAT) techniques to search through the uncertainty region of the multipath delays. The SAT-based scheme utilizes the known structure of the transmitted wideband signal, for example, pseudo-random (PN) code, to effectively search through the entire space by eliminating subspaces that do not contain a possible solution. The paper presents a framework for modeling the multipath detection problem as a SAT application. It also provides simulation results that demonstrate the effectiveness of the proposed scheme in detecting the multipath components in frequency-selective Rayleigh fading channels.