。 。 。 。 。 。 “Maria Paola Bonacina和Mnacho Echenim：关于可变活性和多项式τ-可满足性程序（2008）”。 。 。 。 _：ID_b44f4e8d30b45bd4c8f59c2410ed7293。_：ID_b44f4e8d30b45bd4c8f59c2410ed7293 。_：ID_b44f4e8d30b45bd4c8f59c2410ed7293 。_：ID_b44f4e8d30b45bd4c8f59c2410ed7293“期刊/logcom/BonacinaE08”。 _：ID_a261b0826a51e9178d0eb96cbfeac114。_：ID_a261b0826a51e9178d0eb96cbfeac114 。_：识别号_a261b0826a51e9178d0eb96cbfeac114 。_：ID_a261b0826a51e9178d0eb96cbfeac114“10.1093/LOGCOM/EXM055”。 _：ID_b878919c660e315b4edef33e7fce2ccd。_：ID_b878919c660e315b4edef33e7fce2ccd 。_：ID_b878919c660e315b4edef33e7fce2ccd 。_：ID_b878919c660e315b4edef33e7fce2ccd“Q118123663”。 “关于变量不活动性和多项式τ-可满足性程序”。 。 。 。 "2"^^。 _：Sig_3aff162d2f31af904fa563c40f6ac64f_1。_：Sig_3aff162d2f31af904fa563c40f6ac64f_1 。_：Sig_3aff162d2f31af904fa563c40f6ac64f_1“玛丽亚·保拉·博纳西纳”。_：Sig_3aff162d2f31af904fa563c40f6ac64f_1 。_：Sig_3aff162d2f31af904fa563c40f6ac64f_1 。_：Sig_3aff162d2f31af904fa563c40f6ac64f_1“1”^^。_：Sig_3aff162d2f31af904fa563c40f6ac64f_1 。 _：Sig_3aff162d2f31af904fa563c40f6ac64f_2。_：Sig_3aff162d2f31af904fa563c40f6ac64f_2 。_：Sig_3aff162d2f31af904fa563c40f6ac64f_2“Mnacho Echenim”。_：Sig_3aff162d2f31af904fa563c40f6ac64f_2 。_：Sig_3aff162d2f31af904fa563c40f6ac64f_2"2"^^。_：Sig_3aff162d2f31af904fa563c40f6ac64f_2 。 。 。 。 "77-96" . “J.对数计算”。 “J.对数计算”。 “18”。 "1" . "2008"^^。 “dblp记录‘journals/logcom/BonacinaE08’的RDF数据的来源信息”。 。 。 。 “2023-08-28T21:31:09+0200”。