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 ...
Electronic PROMs enable high-resolution tracking but face declining response rates. Integrating PROMs into electronic health records (EHRs) could improve response rates and personalize therapy.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results