阿图尔·尼维亚多姆斯基;彼得·斯威塔尔斯基;特奥菲尔·西多鲁克;沃伊切赫,彭泽克 SMT-solvers在行动:在NP和EXPTIME中编码和解决选定的问题。 (英语) Zbl 1424.68151号 科学。Ann.计算。科学。 28,第2号,269-288(2018).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人,科学。Ann.计算。科学。28,第2号,269--288(2018;Zbl 1424.68151) 全文: 内政部
阿图尔·尼维亚多姆斯基;雅罗斯瓦夫·斯卡鲁兹;彼得·斯威塔尔斯基;沃伊切赫,彭泽克 平面图中的具体规划集成电路将SMT、GEO和模拟退火相结合的框架。 (英语) Zbl 1374.68512号 芬丹。通知。 147,编号2-3,289-313(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niewiadomski}等人,基金会。通知。147,编号2--3,289--313(2016;Zbl 1374.68512) 全文: 内政部