Abstract: Atserias and Müller (JACM, 2020) proved that for every unsatisfiable CNF formula $\varphi$, the formula $\operatorname{Ref}(\varphi)$ stating that “$\varphi$ has small Resolution refutations ...
Abstract: The high-resolution TOA estimation of multipath channel is essential for many areas while the resolution of conventional algorithms is constrained by the system bandwidth. With the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results