"THIS PAPER IS ELIGIBLE FOR THE STUDENT PAPER AWARD" Let Aq(n, d) be the maximum order (maximum number of codewords) of a q-ary code of length n and Hamming distance at l...
Salim Y. El Rouayheb, Costas N. Georghiades, Emina...
In this paper, we address the potential benefits of dual-polarized arrays in multi-antenna wireless systems. After an extensive literature overview of experimental data, we present...
Claude Oestges, Bruno Clerckx, Maxime Guillaud, M&...
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...