提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/sat/TentrupR19AU-Tentrup，Leander公司AU-拉贝，马库斯N。TI-DQBF的子句抽象。BT-可满足性测试的理论与应用-2019年SAT第22届国际会议，2019年7月9日至12日，葡萄牙里斯本SAT 2019，会议记录SP-388EP-4052019年上半年//DO-2007年10月10日/978-3-030-24258-9_27UR-（欧元）https://doi.org/10.1007/978-3-030-24258-9-27急诊室-