提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-2208-08105阿雪、白AU-Zhan、Naijun澳大利亚-马丁·范策勒AU-Wang、JiAU-刘万伟TI-基于凸优化的可达无效验证。JO-CoRR公司VL-abs/2208.081052022年//DO-10.48550/ARXIV.2208.08105UR-（欧元）https://doi.org/10.48550/arXiv.2208.08105呃-