SAT-OFDM: a satellite radio interface for the IMT-advanced system.
Hee Wook KimKunseok KangBon Jun KuDae-Ig ChangSooyoung KimPublished in: Int. J. Satell. Commun. Netw. (2015)
Keyphrases
- wireless systems
- wireless communication
- user interface
- satisfiability problem
- communication systems
- sat solving
- sat problem
- orthogonal frequency division multiplexing
- sat solvers
- search strategies
- user friendly
- interface design
- sat instances
- stochastic local search
- propositional satisfiability
- ofdm system
- physical layer
- wireless networks
- logic programs