×

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

最新的 引文 关联
萨米拉·阿图；卢多维奇·米格诺；Clément Miklarz；弗洛伦特·尼卡特

受约束的多波浪线。 （英语） 兹伯利07810924

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 66-78 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Attou}等人，Lect。注释计算。科学。14151，66-78（2023；Zbl 07810924）
全文： 内政部
尼古拉·加莱西；德米特里·伊特西克森；阿图尔·里亚扎诺夫；索夫罗诺娃，阿纳斯塔西娅

所有图的Tseitin公式的有界深度Frege复杂性。 （英语） Zbl 1516.03021号

Ann.纯粹应用。逻辑 174，第1号，文章ID 103166，23页（2023）.
审核人：Ariel Germanán Fernández（布宜诺斯艾利斯）
MSC公司：20层03 05立方厘米83 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Galesi}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103166，23页（2023；Zbl 1516.03021）
全文： 内政部 链接
文森特·瓦拉德；赛义德·内贾蒂；朱利安·索佩纳；苏海卜·巴里尔；维杰·加内什

使用贝叶斯矩匹配使并行SAT求解器多样化。 （英语） Zbl 1528.68362号

Dong，Wei（编辑）等人，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 227-233 (2022).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Vallade}等人，Lect。注释计算。科学。13649，227--233（2022；Zbl 1528.68362）
全文： 内政部
mnesc博士，Isabela；艾丽卡·阿尔布拉汉姆；都铎Jebelean；加博尔·库斯珀；斯特拉图拉特，索林

在课堂上进行自动推理实验。 （英语） Zbl 07691306号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 287-304 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}等人，Lect。注释计算。科学。13467，287--304（2022；Zbl 07691306）
全文： 内政部 哈尔
亨德里克·莱丁格；克里斯托夫·韦登巴赫

SCL（EQ）：SCL表示等式的一阶逻辑。 （英语） Zbl 07628190号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 228-247 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛H.Leidinger｝和\textit｛C.Weidenbach｝，Lect。注释计算。科学。13385、228--247（2022；Zbl 07628190）
全文： 内政部 arXiv公司
诺亚·弗莱明；托尼安·皮塔西

关于证明复杂性和计数原则的思考。 （英语） Zbl 07469221号

Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 497-520 (2022).
MSC公司：03Bxx号 03Gxx公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Fleming}和\textit{T.Pitassi}，Outst。控制日志。22497--520（2022；Zbl 07469221）
全文： 内政部
佩特拉·霍佐娃；劳拉·科瓦奇；雅各布·拉特

自动生成用于自动扣除的考试表。 （英语） Zbl 1485.68283号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 185-196 (2021).
MSC公司：68伏15 97D60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hozzová}等人，Lect。注释计算。科学。12833，185-196（2021；Zbl 1485.68283）
全文： 内政部 链接
莫尼卡·特里莫斯卡；吉尔·迪肯；索丽娜·爱奥尼卡

使用WDSat进行逻辑密码分析。 （英语） Zbl 07495597号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 545-561 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Trimoska}等人，Lect。注释计算。科学。12831545--561（2021；Zbl 07495597）
全文： 内政部 哈尔
奥利弗·库尔曼；奥列格·扎金

求和与乘积之间二元分支的投影启发法。 （英语） Zbl 07495581号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 299-314 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kullmann}和\textit{O.Zaikin}，莱克特。注释计算。科学。12831299--314（2021；Zbl 07495581）
全文： 内政部
反向链接： 卫生官员
斯蒂芬·科切马佐夫；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵

通过增量SAT镜头评估SAT求解器的进展。 （英语） Zbl 07495580号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 280-298 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kochemazov}等人，Lect。注释计算。科学。12831280-298（2021；Zbl 07495580）
全文： 内政部
亚历克西斯·德·科尔内；斯特凡·门格尔

用短正则分辨率反驳刻画谢廷公式。 （英语） Zbl 07495569号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 116-133 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.de Colnet｝和\textit｛S.Mengel｝，Lect。注释计算。科学。12831、116--133（2021；Zbl 07495569）
全文： 内政部 arXiv公司
蔡少伟；张新迪

CDCL与SAT本地搜索的深度合作。 （英语） Zbl 07495566号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 64-81 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Cai}和\textit{X.Zhang}，Lect。注释计算。科学。12831、64-81（2021；Zbl 07495566）
全文： 内政部
莫尼卡·特里莫斯卡；索丽娜·爱奥尼卡；吉尔·迪肯

基于SAT的二元椭圆曲线索引演算方法。 （英语） Zbl 1504.94192号

Nitaj，Abderrahmane（编辑）等人，《密码学进展——非洲加密2020》。第十二届非洲密码学国际会议，埃及开罗，2020年7月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12174, 214-235 (2020).
MSC公司：94A60型 14H52型
PDF格式BibTeX公司 XML格式引用
\textit{M.Trimoska}等人，Lect。注释计算。科学。12174，214--235（2020；Zbl 1504.94192）
全文： 内政部 哈尔
松田，Kazutaka

多重注释箭头线性类型的模块化推理。 （英语） Zbl 1522.68125号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 456-483 (2020).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\文本｛K.Matsuda｝，Lect。注释计算。科学。12075，456--483（2020；Zbl 1522.68125）
全文： 内政部 arXiv公司
西蒙·马蒂尔；马克西姆·雷穆德

量子回溯算法的实际实现。 （英语） Zbl 1440.68098号

Chatzigeorgiou，Alexander（编辑）等人，SOFSEM 2020：计算机科学的理论与实践。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 597-606 (2020).
MSC公司：2012年第68季度 68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Martiel}和\textit{M.Remaud}，莱克特。注释计算。科学。12011、597--606（2020；Zbl 1440.68098）
全文： 内政部 arXiv公司
亚历山大·塞梅诺夫；伊利亚·奥普申尼科夫；伊琳娜·格里巴诺娃；奥列格·扎金；斯蒂芬·科切马佐夫

将离散函数的算法描述转换为SAT，并应用于密码分析问题。 （英语） 兹比尔1528.94079

日志。方法计算。科学。 16，第1号，第29号论文，42页（2020年）.
MSC公司：94A60型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Semenov}等人，日志。方法计算。科学。16，第1号，第29号论文，42页（2020；Zbl 1528.94079）
全文： arXiv公司 链接
詹姆斯·H·达文波特。（编辑）；英格兰，马修（编辑）；阿尔贝托·格里乔（编辑）；托马斯·斯特姆（编辑）；塞萨尔·蒂内利（编辑）

社论：符号计算和可满足性检查。 （英语） Zbl 1444.68006号

J.塞姆。计算。 100, 1-10 (2020).
MSC公司：68-06 68兰特 68T20型 68瓦30 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}（编辑）等，J.Symb。计算。100,1-10（2020年；Zbl 1444.68006）
全文： 内政部
伊恩·默茨；托尼安·皮塔西；魏元浩

很难找到简短的证明。 （英语） Zbl 07561577号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第84条，第16页（2019年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Mertz}等人，LIPIcs——莱布尼茨国际程序。通知。132，第84条，第16页（2019年；Zbl 07561577）
全文： 内政部
拉尔夫·安科勒；斯特凡·科尔布尔

注意差距——仔细看看分组密码的安全性，以防差异密码分析。 （英语） Zbl 1447.94017号

Cid，Carlos（编辑）等人，《密码学选定领域——SAC 2018》。第25届国际会议，2018年8月15日至17日，加拿大阿联酋卡尔加里。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11349, 163-190 (2019).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ankele}和\textit{S.Kölbl}，莱克特。注释计算。科学。11349，163-190（2019年；Zbl 1447.94017）
全文： 内政部 链接
刘思雪

链、覆盖码的泛化和（k）-SAT的确定性算法。 （英语） Zbl 1499.68382号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第88条，第13页（2018年）。
MSC公司：68周05 68兰特 68T20型 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{S.Liu}，LIPIcs——莱布尼茨国际程序。通知。107，第88条，第13页（2018；Zbl 1499.68382）
全文： 内政部 arXiv公司
保罗·比姆；诺亚·弗莱明；罗素·英帕利亚佐；安东尼娜·科洛科洛娃；丹尼斯·潘克拉托夫；托尼安·皮塔西；罗伯特·罗伯雷

刺平面。 （英语） Zbl 1462.68077号

Karlin，Anna R.（编辑），第九届理论计算机科学创新会议，ITCS 2018，美国马萨诸塞州剑桥，2018年1月11-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94，第10条，第20页（2018年）。
MSC公司：65年第68季度 20层03 2011年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Beame}等人，LIPIcs——莱布尼茨国际程序。通知。94，第10条，第20页（2018；兹bl 1462.68077）
全文： 内政部 arXiv公司
Marijn脚后跟；沃伦·朱恩·亨特（Warren jun Hunt）。；马特·考夫曼；内森·韦兹勒

命题证明的有效验证检查。 （英语） Zbl 1483.68483号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日，第八届国际会议，ITP 2017，巴西巴西利亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 269-284 (2017).
MSC公司：68伏15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Heule}等人，Lect。注释计算。科学。10499，269--284（2017；Zbl 1483.68483）
全文： 内政部
Imanishi、Kensuke

分辨率大小的上限：可处理SAT实例的特征。 （英语） Zbl 1485.68118号

Poon，Sheung-Hung（编辑）等人，WALCOM：算法和计算。第11届国际会议和研讨会，2017年3月29日至31日，台湾新竹，WALCOM 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10167, 359-369 (2017).
MSC公司：68年第27季度 20层03 68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{K.Imanishi}，莱克特。注释计算。科学。10167359--369（2017；Zbl 1485.68118）
全文： 内政部
洛夫兰，唐纳德；阿什什·萨巴沃尔；巴特·塞尔曼

DPLL：现代可满足性求解器的核心。 （英语） Zbl 1439.68026号

Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 315-335 (2016).
MSC公司：68伏15 2003年8月 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Loveland}等人，Outst。控制日志。10、315--335（2016；Zbl 1439.68026）
全文： 内政部
坎通纳，多梅尼科；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；阿尔贝托，Policriti

从我们的意识中消除超滤。 （英语） Zbl 1439.03034号

Omodeo，Eugenio G.（编辑）等人，Martin Davis关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 255-283 (2016).
MSC公司：03B35型 03H10年上半年 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Outst。控制日志。10255-283（2016；Zbl 1439.03034）
全文： 内政部
Liu、Yan Li；李楚敏；何坤；范毅

打破循环结构，提高Max-SAT的下限。 （英语） Zbl 1475.68350号

朱大明（编辑）等，算法的前沿。第十届国际研讨会，一汽2016，中国青岛，2016年6月30日-7月2日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9711, 111-124 (2016).
MSC公司：68T20型 2017年第68季度 68伏15 90C57型
PDF格式BibTeX公司 XML格式引用
\textit{Y.-L.Liu}等人，Lect。注释计算。科学。9711、111-124（2016年；Zbl 1475.68350）
全文： 内政部
杜珊·格勒

具有真值常数和（varDelta）的哥德尔逻辑的不可满足公式是可递归枚举的。 （英语） Zbl 1401.03036号

Merelo，Juan Julian（编辑）等人，《计算智能》。2014年10月22日至24日，第六届国际联合会议，意大利罗马IJCCI 2014。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-26391-5/hbk；978-3-3169-26393-9/电子书）。计算智能研究620，213-234（2016）。
MSC公司：03B35型 03B52号 03D25号
PDF格式BibTeX公司 XML格式引用
\textit{D.Guller}，螺柱计算。智力。620213-234（2016；Zbl 1401.03036）
全文： 内政部
艾丽卡·阿尔布拉汉姆；基里恩·克莱默

可满足性检查：理论与应用。 （英语） Zbl 1390.68569号

De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。《计算机科学讲义》9763，9-23（2016）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}和\textit{G.Kremer}，莱克特。注释计算。科学。9763，9--23（2016；Zbl 1390.68569）
全文： 内政部
托拜厄斯·菲利普；阿德里安·雷博拉·帕多

XOR推理的DRAT证明。 （英语） Zbl 1483.68357号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 415-429 (2016).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Philipp}和\textit{A.Rebola-Pardo}，莱克特。注释计算。科学。10021415--429（2016；Zbl 1483.68357）
全文： 内政部 链接
科斯米纳克罗托鲁；库尔特·梅尔霍恩

反对派框架。 （英语） Zbl 1483.68375号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 190-206 (2016).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{C.Croitoru}和\textit{K.Mehlhorn}，莱克特。注释计算。科学。10021、190--206（2016；Zbl 1483.68375）
全文： 内政部
基里恩·克莱默；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆

广义分枝定界方法及其在SAT模非线性整数算法中的应用。 （英语） Zbl 1453.90186号

Gerdt，Vladimir P.（编辑）等人，科学计算中的计算机代数。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 315-335 (2016).
MSC公司：90C57型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Kremer}等人，Lect。注释计算。科学。9890、315--335（2016；Zbl 1453.90186）
全文： 内政部 链接
斯科特·亚伦森

\（\mathrm P\overset｛？｝｛＝｝\mathrm｛NP｝\）。 （英语） Zbl 1358.68106号

John Forbes jun.（编辑）Nash等人，《数学中的开放问题》。查姆：施普林格（ISBN 978-3-319-32160-8/hbk；978-3-3169-32162-2/电子书）。1-122 (2016).
审核人：格雷戈里·洛伦·麦科姆（坦帕）
MSC公司：2015年第68季度 2015年3月1日 2016年11月 65楼30 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Aaronson}，in：数学开放题。查姆：斯普林格。1--122（2016；Zbl 1358.68106）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件