Maria Paola Bonacina和Mnacho Echenim：关于可变活性和多项式τ-可满足性程序。(2008) 期刊/logcom/BonacinaE08 10.1093/LOGCOM/EXM055 问题118123663 关于变量不活跃和多项式τ-可满足程序。 2 玛丽亚·保拉·博纳西纳 1 Mnacho Echenim公司 2 77-96 J.日志。计算。 J.日志。计算。 18 1 2008 dblp记录“journals/logcom/BonacinaE08”的RDF数据的来源信息 2023-08-28T21:31:09+0200