提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/sat/JordanK13澳大利亚-约旦，CharlesAU-凯撒，卢卡斯TI-还原发现实验。BT——可满足性测试理论与应用——2013年SAT——第16届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼第192页EP-2072013年上半年//DO-2007年10月10日/978-3-642-39071-5_15UR-（欧元）https://doi.org/10.1007/978-3642-39071-5_15急诊室-