×

找到83个文档(结果1-83)

关于模糊数的比较问题。 (英语) Zbl 1429.90033号

Bykadorov,Igor(编辑)等人,《数学优化理论和运筹学》。2019年7月8日至12日在俄罗斯叶卡捷琳堡举行的2019年汽车展第18届国际会议。修订了选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1090, 590-603 (2019).
MSC公司:90B50型 03E72型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\树分解图上MSO问题的(k)-最佳解。 (英语) Zbl 1443.68127号

Lokshtanov,Daniel(ed.)等人,第12届参数化和精确计算国际研讨会,IPEC 2017,奥地利维也纳,2017年9月6日至8日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89,第16条,第13页(2018年)。
PDF格式BibTeX公司 XML格式引用

基于SAT的公式简化。 (英语) Zbl 1471.68245号

Heule,Marijn(ed.)等人,《可满足性测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340, 287-298 (2015).
MSC公司:68T20型 03B05号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份