×

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

最新的 引文 关联
彼得·赫林;菲利普·波克·维卡;罗伊，博德扬

几何图形的FO模型检查。 （英语） 兹比尔1443.68105

Lokshtanov，Daniel（编辑）等人，第十二届参数化和精确计算国际研讨会，2017年国际物理工程委员会，奥地利维也纳，2017年9月6日至8日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89，第19条，第12页（2018年）。
MSC公司：60年第68季度 03年10月 05C62号 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛P.HlinŞný｝等人，LIPIcs——莱布尼茨国际会议记录。通知。89，第19条，第12页（2018；Zbl 1443.68105）
全文： DOI程序
爱德华·艾本;罗伯特·加尼安;斯泽德，斯特凡

解决高秩宽图上的问题。 （英语） Zbl 1392.68199号

Dehne，Frank（编辑）等人，《算法和数据结构》。2015年8月5日至7日，加拿大不列颠哥伦比亚省维多利亚市，第14届WADS国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-21839-7/pbk；978-3-3169-21840-3/电子书）。《计算机科学讲义》9214131-326（2015）。
MSC公司：65年第68季度 03B25号 05C75号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{E.Eiben}等人，Lect。注释计算。科学。9214、314--326（2015；Zbl 1392.68199）
全文： DOI程序 arXiv公司
西蒙·波娃;弗里德里希·斯利沃夫斯基

将结构化CNF编译为OBDD。 （英语） Zbl 1378.68027号

Beklemishev，Lev D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：施普林格（ISBN 978-3-319-20296-9/pbk；978-3-3169-20297-6/电子书）。《计算机科学讲义》9139，80-93（2015）。
MSC公司：68第05页 03B05号 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Bova}和\textit{F.Slivovsky}，莱克特。注释计算。科学。9139、80-93（2015年；Zbl 1378.68027）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段