DATA PROCESSING METHOD AND APPARATUS, AND COMPUTING DEVICE
SHEN, Shengyu, LIN, Weibin, XIE, Shanggang, CHEN, Xiaoyu, LING, Wenkai
Year of Publication 04.05.2023
Get full text
Year of Publication 04.05.2023
Patent
A Faster Counterexample Minimization Algorithm Based on Refutation Analysis
Get full text
Conference Proceeding
REMOTE DATA ACCESS METHOD AND APPARATUS
SHEN, Shengyu, LIN, Weibin, PAN, Qiuping, XIE, Shanggang, CHEN, Xiaoyu, LING, Wenkai
Year of Publication 08.06.2023
Get full text
Year of Publication 08.06.2023
Patent