×

找到633个文档（结果1-100）

最新的 引文 关联
川原骏；佐藤，Toshiki；武田，平子；良良吉中；Yui Yoshioka

完美图子类的高效非同构图枚举算法。 （英语） Zbl 07770289号

林春成（编辑）等，WALCOM：算法和计算。第17届国际会议和研讨会，2023年3月22日至24日，台湾新竹，WALCOM 2023。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13973, 151-163 (2023).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Kawahara}等人，Lect。票据计算。科学。13973、151--163（2023；Zbl 07770289）
全文： 内政部 arXiv公司
伊藤武弘；川原骏；Yu Nakahata；苏，武藏；铃木、亚基拉；纯一县Teruyama；塔希萨·托达

基于ZDD的求解最短重构问题的算法框架。 （英语） Zbl 07745660号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。第20届国际会议，CPIOR 2023，法国尼斯，2023年5月29日至6月1日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13884, 167-183 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Ito}等人，Lect。票据计算。科学。13884167-183（2023年；Zbl 07745660）
全文： 内政部 arXiv公司
丽贝卡·根泽尔；劳伦特·米歇尔；威廉·扬·范霍夫

Haddock中决策图的优化边界。 （英语） Zbl 07745659号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。第20届国际会议，CPIOR 2023，法国尼斯，2023年5月29日至6月1日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13884, 150-166 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Gentzel}等人，Lect。票据计算。科学。13884、150--166（2023；Zbl 07745659）
全文： 内政部
布兰德，塞巴斯蒂安；托马斯·伯克；阿尔芬斯·拉阿尔曼

可达性的决策图操作。 （英语） Zbl 1529.68153号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 514-532 (2023).
MSC公司：60年第68季度 68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Brand}等人，Lect。票据计算。科学。14000，514--532（2023；Zbl 1529.68153）
全文： 内政部 arXiv公司
斯特凡·埃尔马瑟勒；莎拉·爱丽丝·加格尔；多米尼克·鲁索瓦克；约翰·沃纳（Johannes P.Wallner）。

用二元决策图表示抽象的辩证框架。 （英语） Zbl 07671887号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13416, 177-189 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ellmauthaler}等人，莱克特。票据计算。科学。13416、177--189（2022；Zbl 07671887）
全文： 内政部
A.Yu Matrosova。；南卡罗来纳州奥斯塔宁。；戈辛，G.G。

推导TMR技术的近似逻辑电路。 （英语。俄文原件） Zbl 1520.81039号

俄罗斯物理。J。 65，编号4，751-760（2022）; 翻译自Izv。维什。乌切布。扎韦德。，菲兹。65，第4期，第150-159页（2022年）。
MSC公司：81页68 2012年第68季度 81页第10页 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Matrosova}等人，《俄罗斯物理学》。J.65，No.4，751--760（2022；Zbl 1520.81039）；翻译自Izv。维什。乌切布。扎韦德。，菲兹。65，第4号，150--159（2022）
全文： 内政部
尤斯拉·莱姆巴哈；瑞安·鲁西奇；尤利安·尼姆图；吉安弗兰科·西亚多

Bddl公司：二进制决策图的类型系统。 （英语） Zbl 1514.68048号

Kovács，Laura（编辑）等人，《测试和证明》。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13361, 31-47 (2022).
MSC公司：68第05页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lembachar}等人，Lect。票据计算。科学。13361，31-47（2022；Zbl 1514.68048）
全文： 内政部
胡克，J.N。

随机决策图。 （英语） Zbl 1504.90079号

Schaus，Pierre（编辑），约束编程、人工智能和运筹学的集成。第19届国际会议，CPAIOR 2022，美国加利福尼亚州洛杉矶，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13292, 138-154 (2022).
MSC公司：90立方厘米 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\发短信{J.N.Hooker}，Lect。票据计算。科学。13292，138--154（2022；Zbl 1504.90079）
全文： 内政部
马丁·阿克塞尔·布鲁夫斯坦；米尼安，埃利亚斯·加布里埃尔；伊万·萨多夫斯基，科斯塔

广义小对消条件、非正曲率和图解可约性。 （英语） Zbl 1514.20119号

程序。爱丁堡皇家学会。，第节。A、 数学。 152，第3期，545-566（2022）.
MSC公司：20F06年 65楼20层 20楼67 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Blufstein}等人，Proc。爱丁堡皇家学会。，第节。A、 数学。152，编号3，545--566（2022；Zbl 1514.20119）
全文： 内政部 arXiv公司
伊戈尔剃刀

单调2-CNF的OBDD大小分类。 （英语） Zbl 07803603号

Golovach，Petr A.（编辑）等人，第16届参数化和精确计算国际研讨会，IPEC 2021，葡萄牙里斯本，2021年9月8日至10日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。214，第25条，第15页（2021年）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Razgon}，LIPIcs——莱布尼茨国际程序。通知。214，第25条，第15页（2021；Zbl 07803603）
全文： 内政部 arXiv公司
雷诺德·维尔马特

图形计算中的量子多值决策图。 （英语） Zbl 07724262号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第89条，第15页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Vilmart}，LIPIcs——莱布尼茨国际程序。通知。202，第89条，第15页（2021；Zbl 07724262）
全文： 内政部 arXiv公司
奥古斯丁·帕贾迪斯；盖零件，昆廷；卢梭，路易斯·马汀；大卫·伯格曼

使用决策图和强化学习改进分支和界限。 （英语） Zbl 07493645号

Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12735, 446-455 (2021).
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Parjadis}等人，Lect。票据计算。科学。12735446--455（2021；Zbl 07493645）
全文： 内政部
恩里科·福门蒂；雷金、珍妮·查尔斯；萨拉·里瓦

MDD促进了离散动力系统的方程求解。 （英语） Zbl 07493630号

Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12735, 196-213 (2021).
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{E.Formenti}等人，Lect。票据计算。科学。12735196-213（2021；Zbl 07493630）
全文： 内政部 哈尔
鲍里斯·利沙克；亚历山大·纳布托夫斯基

平凡（2）节点解的复杂性。 （英语） Zbl 1481.57029号

J.拓扑。分析。 13，第3号，623-657（2021）.
审核人：詹姆斯·赫布达（圣路易斯）
MSC公司：57公里45 57兰特 53立方厘米 20F06年 53立方厘米 20F05型 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{B.Lishak}和\textit{A.Nabutovsky}，J.Topol。分析。13，编号3，623--657（2021；Zbl 1481.57029）
全文： 内政部 arXiv公司
Randal E.布莱恩特。；Heule，Marijn J.H。

使用基于BDD的SAT解算器生成扩展的分辨率证明。 （英语） Zbl 1467.68203号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 76-93 (2021).
MSC公司：68伏15 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。票据计算。科学。12651，76-93（2021年；兹bl 1467.68203）
全文： 内政部 arXiv公司
马修·哈里森·特雷纳；Ho，Meng Che“涡轮增压器”

有限生成群在有限生成结构中是普遍存在的。 （英语） Zbl 1498.03081号

Ann.纯粹应用。逻辑 172，第1号，文章ID 102855，第21页（2021）.
MSC公司：03C57号 03D45号 20F05型 20F06年 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{M.Harrison-Trainor}和\textit{M.-C.Ho}，Ann.Pure Appl。逻辑172，第1号，文章ID 102855，21页（2021；Zbl 1498.03081）
全文： 内政部 arXiv公司
塞拉，蒂亚戈

重复次数较少的枚举分支。 （英语） Zbl 07636033号

Hebrard，Emmanuel（编辑）等人，《约束编程、人工智能和运筹学的集成》。第17届国际会议，CPAIOR 2020，奥地利维也纳，2020年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12296, 399-416 (2020).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Serra}，莱克特。票据计算。科学。12296、399--416（2020；Zbl 07636033）
全文： 内政部 链接
杰扬斯·克里希纳·莫加利；威廉·扬·范霍夫；斯蒂芬·F·史密斯。

用于多代理路径查找的模板匹配和决策图。 （英语） Zbl 07636030号

Hebrard，Emmanuel（编辑）等人，《约束编程、人工智能和运筹学的集成》。第17届国际会议，CPAIOR 2020，奥地利维也纳，2020年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12296, 347-363 (2020).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{J.K.Mogali}等人，Lect。票据计算。科学。12296、347--363（2020；Zbl 07636030）
全文： 内政部
尼古拉斯·弗罗纳；伯恩哈德·诺伊曼；Günther R.Raidl。

一种求解旅行锦标赛问题的波束搜索方法。 （英语） Zbl 1486.90164号

Paquete，Luís（编辑）等人，组合优化中的进化计算。第20届欧洲会议，EvoCOP 2020，作为EvoStar 2020的一部分，于2020年4月15日至17日在西班牙塞维利亚举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12102, 67-82 (2020).
MSC公司：90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{N.Frohner}等人，Lect。票据计算。科学。12102，67-82（2020年；兹bl 1486.90164）
全文： 内政部
什鲁蒂·比斯瓦尔；安德鲁·米纳（Andrew S.Miner）。

使用混合关系兼容饱和度生成可达集。 （英语） Zbl 07368096号

Schmitz，Sylvain（编辑）等人，《可达性问题》。第14届国际会议，RP 2020，法国巴黎，2020年10月19-21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12448, 37-51 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Biswal}和\textit{A.S.Miner}，莱克特。票据计算。科学。12448，37-51（2020；Zbl 07368096）
全文： 内政部
贝努伊特Caillaud；马蒂亚斯·马兰丹；琼·蒂博

多模DAE系统的隐式结构分析。 （英语） Zbl 07300861号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Caillaud}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020；Zbl 07300861）
全文： 内政部 哈尔
伊万诺夫S.V。

用于分组演示的有界精确单词问题。 （英语） Zbl 07213237号

美国数学学会回忆录1281.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-4143-2/pbk；978-1-4740-5804-1/电子书）。v、 106页。(2020).
MSC公司：20-02 20F05型 20F06年 2010年1月20日 65年第68季度 68单位05 52个B05 65楼20层 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.V.Ivanov}，用于组演示的有界精确单词问题。普罗维登斯，RI:美国数学学会（AMS）（2020；Zbl 07213237）
全文： 内政部 arXiv公司
嘘，安迪；阿德南·达尔维切；亚瑟·崔

通过盎格鲁式学习验证二值化神经网络。 （英语） Zbl 1441.68214号

Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——SAT 2019》。2019年7月9日至12日，第22届国际会议，SAT 2019，葡萄牙里斯本。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11628, 354-370 (2019).
MSC公司：68T05型 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{A.Shih}等人，Lect。票据计算。科学。11628、354--370（2019年；Zbl 1441.68214）
全文： 内政部
理查德·赫伯斯；阿尔芬斯·拉阿尔曼

一种基于并行关系的符号互模拟最小化算法。 （英语） Zbl 1522.68324号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11388, 535-554 (2019).
MSC公司：60年第68季度 68问题85 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{R.Huybers}和\textit{A.Laarman}，莱克特。票据计算。科学。11388、535--554（2019年；Zbl 1522.68324）
全文： 内政部
拜伦，阿亚拉·登特；里佐斯·斯科利诺斯

自由组中可定义的字段。 （英语） Zbl 1500.03011号

事务处理。美国数学。Soc.，爵士。B类 6, 297-345 (2019).
审核人：米哈伊·普鲁内斯库（București）
MSC公司：03C60型 03C45型 20E05年 20F06年 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Byron}和\textit{R.Sklinos}，翻译。美国数学。Soc.，爵士。B 6，297--345（2019；Zbl 1500.03011）
全文： 内政部 arXiv公司
赫莱内·维哈盖；克利斯朵夫·勒库特；皮埃尔·绍斯

将紧凑图扩展到基本智能多值变量图。 （英语） Zbl 1527.68215号

Rousseau，Louis-Martin（编辑）等人，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11494581-598（2019年）。
MSC公司：68T20型 68第05页 68页30
PDF格式BibTeX公司 XML格式引用
\textit{H.Verhaeghe}等人，Lect。票据计算。科学。11494、581--598（2019年；Zbl 1527.68215）
全文： 内政部
范登·博加尔特，皮姆；马蒂伊斯·德·威德

使用决策图的统一机器调度的下限。 （英语） Zbl 1527.90110号

Rousseau，Louis-Martin（编辑）等人，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11494565-580（2019年）。
MSC公司：90B35型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.van den Bogardt}和\textit{M.de Weerdt}，莱克特。票据计算。科学。11494、565--580（2019年；Zbl 1527.90110）
全文： 内政部 链接
塞拉，蒂亚戈；阿文德·拉古纳森（Arvind U。；大卫·伯格曼；约翰·胡克；新高Kobori

不确定情况下的最后一英里计划。 （英语） Zbl 1527.90108号

Rousseau，Louis-Martin（编辑）等人，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11494, 519-528 (2019).
MSC公司：90B35型 90B20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Serra}等人，Lect。票据计算。科学。11494119-528（2019年；兹比尔1527.90108）
全文： 内政部
大卫·伯格曼；卡洛斯·卡多尼亚；萨哈纳兹·梅赫拉尼

最小颜色碎片装箱的二进制决策图。 （英语） Zbl 1525.90345号

Rousseau，Louis-Martin（编辑）等人，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11494, 57-66 (2019).
MSC公司：90C27型 68T20型 90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{D.Bergman}等人，Lect。票据计算。科学。11494，57-66（2019年；兹比尔1525.90345）
全文： 内政部 arXiv公司
马蒂亚斯·普富尔；约格·里特；保罗·莫利托

在可逆电路中寻找冗余门。 （英语） Zbl 1515.68135号

Kari，Jarkko（编辑）等人，《可逆计算》。2018年9月12日至14日在英国莱斯特举行的2018年RC第十届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11106, 205-219 (2018).
MSC公司：2006年第68季度 2009年第68季度 81页65
PDF格式BibTeX公司 XML格式引用
\textit{M.Pfuhl}等人，Lect。票据计算。科学。11106205-219（2018；Zbl 1515.68135）
全文： 内政部
Elvio Gilberto Amparore公司；马可·贝库蒂；苏珊娜·多纳泰利

具有结构单元的系统决策图的基于梯度的变量排序。 （英语） Zbl 1495.68150号

D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10482184-200（2017年）。
MSC公司：68问题85 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Amparore}等人，Lect。票据计算。科学。10482、184--200（2017；Zbl 1495.68150）
全文： 内政部 链接
宫本美本；肖塔·托多罗基；迪普塔拉马；良良吉中；Ayumi Shinohara

一种有效的零抑制二元决策图查询学习算法。 （英语） Zbl 1403.68201号

Steve Hanneke等人，算法学习理论国际会议。2017年10月15日至17日，日本京都京都大学，第28届会议记录（ALT 2017）。[s.l.]：机器学习研究论文集PMLR。机器学习研究论文集（PMLR）76，360-371（2017）。
MSC公司：68T05型 68第05页 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{H.Mizumoto}等人，Proc。机器。学习。决议（PMLR）76，360-371（2017；Zbl 1403.68201）
全文： 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件