提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/logcom/BonacinaE08澳大利亚-博纳西纳，玛丽亚·保拉AU-埃切宁，姆纳乔TI-关于变量不活跃性和多项式τ-可满足性程序。JO-J.日志。计算。VL-18IS-1标准SP-77欧洲药典-962008年上半年//DO-10.1093/LOGCOM/EXM055UR-（欧元）https://doi.org/10.1093/logcom/exm055UR-（欧元）https://www.wikidata.org/entity/Q118123663急诊室-