×

找到8个文档（结果1-8）

最新的 引文 关联
长尾、Atsuki；濑户县；纯一县Teruyama

句法读（k）次分支程序的可满足性算法。 （英语） Zbl 1457.68128号

Okamoto，Yoshio（编辑）等人，第28届算法和计算国际研讨会，2017年国际会计准则委员会，2017年12月9日至12日，泰国普吉岛。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。92，第58条，第10页（2017年）。
MSC公司：65年第68季度 68第05页 68兰特 68周05
PDF格式BibTeX公司 XML格式引用
\textit{A.Nagao}等人，LIPIcs——莱布尼茨国际程序。通知。92，第58条，第10页（2017年；Zbl 1457.68128）
全文： 内政部
Sakai、Takayuki；濑户县；铃木Tamaki；Junichi Teruyama

带加权对称门的有界深度电路：可满足性、下限和压缩。 （英语） Zbl 1398.68259号

Faliszewski，Piotr（编辑）等人，第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-016-3）。LIPIcs–莱布尼茨国际信息学论文集58，第82条，16页（2016）。
MSC公司：65年第68季度 2017年第68季度 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{T.Sakai}等人，LIPIcs——莱布尼茨国际程序。通知。58，第82条，第16页（2016；Zbl 1398.68259）
全文： 内政部
Sakai、Takayuki；濑户县；铃木Tamaki；纯一县Teruyama

改进了MAX SAT轻度稀疏实例的精确算法。 （英语） Zbl 1378.68091号

Husfeldt，Thore（编辑）等人，第十届参数化和精确计算国际研讨会，IPEC 2015，希腊帕特拉斯，2015年9月16日至18日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-92-7）。LIPIcs–莱布尼茨国际信息学论文集43，90-101（2015）。
MSC公司：65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Sakai}等人，LIPIcs——莱布尼茨国际程序。通知。43、90-101（2015年；Zbl 1378.68091）
全文： 内政部
长尾、Atsuki；濑户县；纯一县Teruyama

（k）-IBDD可满足性的适度指数时间算法。 （英语） Zbl 1392.68390号

Dehne，Frank（编辑）等人，《算法和数据结构》。2015年8月5日至7日，加拿大不列颠哥伦比亚省维多利亚市，第14届WADS国际研讨会。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-21839-7/pbk；978-3-319-21840-3/ebook）。计算机科学讲座笔记9214，554-565（2015）。
MSC公司：68T20型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.Nagao}等人，Lect。注释计算。科学。9214，554--565（2015；Zbl 1392.68390）
全文： 内政部

筛选结果依据…

文档类型

作者

序列号

全部的 前5名

出版年份

主字段

软件