. . . . . “Maribel Fern\u00E1ndez:AC补码问题：可满足性和否定消除（1996）”。 . . _：ID_2ddae6ac3cdfa3277f17fb4ca938dd28。_：ID_2ddae6ac3cdfa3277f17fb4ca938dd28 ._：ID_2ddae6ac3cdfa3277f17fb4ca938dd28 ._：ID_2ddae6ac3cdfa3277f17fb4ca938dd28“journals/jsc/Fernandez96”。 _：ID_5d08522be7de03a41820fe9957176b4e。_：ID_5d08522be7de03a41820fe9957176b4e ._：ID_5d08522be7de03a41820fe9957176b4e ._：ID_5d08522be7de03a41820fe9957176b4e“10.1006/JSCO.1996.0041”。 “AC补码问题：可满足性和否定消除”。 . . "1"^^. _：Sig_f133866a9869026b42709b0b04c23c6c_1。_：Sig_f133866a9869026b42709b0b04c23c6c1 ._：Sig_f133866a9869026b42709b0b04c23c6c1“Maribel Fern\u00E1ndez”。_：Sig_f133866a9869026b42709b0b04c23c6c1 ._：Sig_f133866a9869026b42709b0b04c23c6c1"1"^^._：Sig_f133866a9869026b42709b0b04c23c6c1 . . . . "49-82" . 《符号计算杂志》。 《符号计算杂志》。 "22" . "1" . "1996"^^. “dblp记录'journals/jsc/Fernandez96'的RDF数据的来源信息”。 . . . “2021-02-17T08:57:09+0100”。