. . . . . “白雪等人：基于凸优化的可达性验证。（2022）”。 . . _：ID_6698b6b1ae280455c91caf0bf2f39d56。_：ID_6698b6b1ae280455c91caf0bf2f39d56 ._：ID_6698b6b1ae280455c91caf0bf2f39d56 ._：ID_6698b6b1ae280455c91caf0bf2f39d56“日记账/corr/abs-2208-08105”。 _：ID_5f140ba86930c7d29443b819b20f2fc8。_：ID_5f140ba86930c7d29443b819b20f2fc8 ._：标识_5f140ba86930c7d29443b819b20f2fc8 ._：ID_5f140ba86930c7d29443b819b20f2fc8“10.48550/ARXIV.2208.08105”。 “基于凸优化的可达无效验证”。 . . . . . . "5"^^. _：Sig_537ad58ea2bb9f99b5fecde8e787389a_1。_：Sig_537ad58ea2bb9f99b5fecde8e787389a_1 ._：Sig_537ad58ea2bb9f99b5fecde8e787389a_1“白雪0001”。_：Sig_537ad58ea2bb9f99b5fecde8e787389a_1 ._：Sig_537ad58ea2bb9f99b5fecde8e787389a_1"1"^^._：Sig_537ad58ea2bb9f99b5fecde8e787389a_1 . _：Sig_537ad58ea2b9f99b5fecde8e787389a_2。_：Sig_537ad58ea2bb9f99b5fecde787389a_2 ._：Sig_537ad58ea2bb9f99b5fecde787389a_2“Naijun Zhan”。_：Sig_537ad58ea2bb9f99b5fecde787389a_2 ._：Sig_537ad58ea2bb9f99b5fecde787389a_2"2"^^._：Sig_537ad58ea2bb9f99b5fecde787389a_2 . _：Sig_537ad58ea2bb9f99b5fecde787389a_3。_：Sig_537ad58ea2bb9f99b5fecde787389a_3 ._：Sig_537ad58ea2bb9f99b5fecde787389a_3“Martin Fr\u00E4nzle”。_：Sig_537ad58ea2bb9f99b5fecde787389a_3 ._：Sig_537ad58ea2bb9f99b5fecde787389a_3"3"^^._：Sig_537ad58ea2bb9f99b5fecde787389a_3 . _：Sig_537ad58ea2bb9f99b5fecde8e787389a_4。_：信号_537ad58ea2b9f99b5fecde8e787389a_4 ._：Sig_537ad58ea2bb9f99b5fecde8e787389a_4“纪旺0001”。_：Sig_537ad58ea2bb9f99b5fecde8e787389a_4 ._：Sig_537ad58ea2bb9f99b5fecde8e787389a_4“4”^^._：Sig_537ad58ea2bb9f99b5fecde8e787389a_4 . _：Sig_537ad58ea2bb9f99b5fecde787389a_5。_：Sig_537ad58ea2bb9f99b5fecde8e787389a_5 ._：Sig_537ad58ea2bb9f99b5fecde8e787389a_5“刘万伟”。_：Sig_537ad58ea2bb9f99b5fecde8e787389a_5 ._：Sig_537ad58ea2bb9f99b5fecde8e787389a_5"5"^^._：Sig_537ad58ea2bb9f99b5fecde8e787389a_5 . . . . “CoRR”。 “CoRR”。 “abs/2208.08105”。 "2022"^^. “dblp记录‘journals/corr/abs-2208-08105’的RDF数据的来源信息”。 . . . “2023-11-14T20:02:10+0100”。