. . . . . “Marco Bozzano等人：基于SMT的定时失效传播图验证（2015）”。 . . _：ID_f95c74fc8b63fcb58b4d62a839cc6736。_：ID_f95c74fc8b63fcb58b4d62a839cc6736 ._：ID_f95c74fc8b63fcb58b4d62a839cc6736 ._：ID_f95c74fc8b63fcb58b4d62a839cc6736“conf/aaai/BozzanoCGM15”。 _：ID_e0cc81079cf40bb2584407d732f475ad。_：ID_e0cc81079cf40bb2584407d732f475ad ._：ID_e0cc81079cf40bb2584407d732f475ad ._：ID_e0cc81079cf40bb2584407d732f475ad“10.1609/AAAI.V29I1.9753”。 “基于SMT的定时故障传播图验证”。 . . . . . "4"^^. _：Sig_b1947ccb5a41bdf943856a7708aa287a_1。_：Sig_b1947ccb5a41bdf943856a7708aa287a_1 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_1“马可·波扎诺”。_：Sig_b1947ccb5a41bdf943856a7708aa287a_1 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_1 ._：信号_b1947ccb5a41bdf943856a7708aa287a_1"1"^^._：Sig_b1947ccb5a41bdf943856a7708aa287a_1 . _：Sig_b1947ccb5a41bdf943856a7708aa287a_2。_：Sig_b1947ccb5a41bdf943856a7708aa287a_2 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_2“亚历山德罗·西马蒂”。_：Sig_b1947ccb5a41bdf943856a7708aa287a_2 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_2"2"^^._：Sig_b1947ccb5a41bdf943856a7708aa287a_2 . _：Sig_b1947ccb5a41bdf943856a7708aa287a_3。_：Sig_b1947ccb5a41bdf943856a7708aa287a_3 ._：信号_b1947ccb5a41bdf943856a7708aa287a_3“马可·加里奥”。_：Sig_b1947ccb5a41bdf943856a7708aa287a_3 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_3"3"^^._：Sig_b1947ccb5a41bdf943856a7708aa287a_3 . _：Sig_b1947ccb5a41bdf943856a7708aa287a_4。_：Sig_b1947ccb5a41bdf943856a7708aa287a_4 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_4“安德烈亚·米凯利”。_：Sig_b1947ccb5a41bdf943856a7708aa287a_4 ._：Sig_b1947ccb5a41bdf943856a7708aa287a_4"4"^^._：Sig_b1947ccb5a41bdf943856a7708aa287a_4 . . . . "3724-3730" . “AAAI”。 “AAAI”。 "2015"^^. "2015"^^. . “dblp记录'conf/aaai/BozzanoCGM15'的RDF数据的来源信息”。 . . . “2023-09-18T11:22:44+0200”。