简·德雷尔;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 SAT后门:深度胜过尺寸。 (英语) Zbl 07815426号 J.计算。系统。科学。 142,文章ID 103520,22 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人,《计算杂志》。系统。科学。142,文章ID 103520,22 p.(2024;Zbl 07815426) 全文: DOI程序 arXiv公司
武和田。 回顾数据流中的最大可满足性和相关问题。 (英语) Zbl 07809109号 西奥。计算。科学。 982,文章ID 114271,10 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{H.T.Vu},Theor。计算。科学。982,文章ID 114271,10 p.(2024;Zbl 07809109) 全文: DOI程序
罗德里戈·拉亚;维克托·库恰克 关于代数阵列理论。 (英语) Zbl 07803169号 J.日志。阿尔盖布。方法计划。 136,文章ID 100906,30 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Raya}和\textit{V.Kunčak},J.Log。阿尔盖布。方法计划。136,文章ID 100906,30 p.(2024;Zbl 07803169) 全文: DOI程序
贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗(Christopher W.Brown)。;詹姆斯·H·达文波特。;英格兰,马修 单个圆柱形代数单元的水平构造。 (英语) Zbl 07799840号 J.塞姆。计算。 123,文章ID 102288,44 p.(2024).MSC公司:68瓦xx 68泰克 03立方厘米xx PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人,J.Symb。计算。123,文章ID 102288,44 p.(2024;Zbl 07799840) 全文: DOI程序 arXiv公司
米罗斯拉夫·乔迪尔;安东·库切拉 PCTL定量片段的可满足性问题。 (英语) Zbl 07753727号 J.计算。系统。科学。 139,文章ID 103478,16 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}和\textit{A.Kučera},J.Compute。系统。科学。139,文章ID 103478,16 p.(2024;Zbl 07753727) 全文: DOI程序
伯纳德·博伊格洛特;帕斯卡·方丹;巴普蒂斯特·韦尔盖因 自动机上的通用一阶量化。 (英语) Zbl 07810926号 Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14151, 91-102 (2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Boigelot}等人,Lect。注释计算。科学。14151,91-102(2023;Zbl 07810926) 全文: DOI程序 arXiv公司 链接
亚西尔·马哈茂德;乔尼·维特玛 命题包含和独立逻辑的参数化复杂性。 (英语) Zbl 07810570号 Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。第29届国际研讨会,WoLLIC 2023,加拿大新南威尔士州哈利法克斯,2023年7月11日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13923, 274-291 (2023).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}和\textit{J.Virtema},莱克特。注释计算。科学。13923274--291(2023;Zbl 07810570) 全文: DOI程序 arXiv公司
穆罕默德·萨米·谢里夫 (最大)可满足性的推理和推断:新见解。 (英语) Zbl 07805102号 约束条件 第3513-514号第28页(2023年).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{M.S.Cherif},约束28,No.3,513--514(2023;Zbl 07805102) 全文: DOI程序
亚历山大·戈洛夫涅夫;乔纳森·李;斯琳塔·塞蒂;贾斯汀·泰勒;Riad S.瓦比。 制动:R1CS的线性时间和现场诊断SNARK。 (英语) Zbl 07799222号 Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。14082, 193-226 (2023).MSC公司:94A60型 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Golovenv}等人,莱克特。注释计算。科学。14082、193--226(2023;Zbl 07799222) 全文: DOI程序
穆罕默德·库尔特;哈坎·库图库;阿里夫·古索伊;乌法特·努里耶夫 关于带通问题的复杂性。 (英语) Zbl 07792005号 TWMS J.纯应用。数学。 第14期,第1期,第41-49页(2023年).MSC公司:2015年第68季度 2015年3月1日 65年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurt}等人,TWMS J.Pure Appl。数学。14,第1号,41-49(2023;Zbl 07792005) 全文: 链接
奎斯特,阿伦德扬;阿尔芬斯·拉阿尔曼 使用恐怖的鹅卵石游戏优化量子空间。 (英语) Zbl 07786600号 Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13960, 134-149 (2023).MSC公司:2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.-J.奎斯特}和\textit{A.Laarman},莱克特。注释计算。科学。13960、134--149(2023;Zbl 07786600) 全文: DOI程序
雷霍特,乔纳斯·沃尔珀斯;罗伯特·格莱克;马蒂斯·克鲁斯 走向去可逆化:静态地减少断言。 (英语) Zbl 07786598号 Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13960, 106-114 (2023).MSC公司:2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Reholt}等人,Lect。注释计算。科学。13960、106-114(2023;Zbl 07786598) 全文: DOI程序
大卫·E·布朗。;戴维·斯基德莫尔 用有序二元决策图表示整数分解问题。 (英语) Zbl 07784970号 理论计算。系统。 67,第6期,1307-1332(2023).MSC公司:2006年第68季度 06E30年 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Brown}和\textit{D.Skidmore},理论计算。系统。67,编号6,1307--1332(2023;Zbl 07784970) 全文: DOI程序
曼弗雷德·舍彻 对\(\mathbb{R}^d\)中Erdõs-Szekeres数和空六边形定理的SAT攻击。 (英语) Zbl 07779755号 CGT,计算。地理。白杨。 2,第1号,第2号论文,第13页(2023年).MSC公司:52立方厘米 68伏05 52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Scheucher},CGT,计算。地理。白杨。2,第1号,第2号论文,第13页(2023;Zbl 07779755) 全文: DOI程序
谢尔盖·多夫格尔;巴黎帕纳菲厄;维拉迪·拉韦洛马纳纳 可满足2-SAT公式的精确枚举。 (英语) Zbl 07779745号 梳子。理论 3,第2号,第7号论文,38页(2023年).MSC公司:2015年1月5日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dovgal}等人,库姆。理论3,第2号,论文7,38页(2023;Zbl 07779745) 全文: DOI程序 arXiv公司
乔迪·科尔;李楚敏;很多,费利普;埃利夫娜斯·扬金 正则命题逻辑的MaxSAT解析。 (英语) Zbl 07766524号 国际J近似推理 162,文章ID 109010,11 p.(2023).MSC公司:68兰特 03B50号 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Coll}等人,《国际近似推理》162,文章ID 109010,第11页(2023;Zbl 07766524) 全文: DOI程序
托马斯·巴西乌斯;托拜厄斯·弗里德里希;安德烈亚斯·哥贝尔;约尔迪·利维;罗森伯格(Ralf Rothenberger) 异质性和几何对随机可满足性证明复杂性的影响。 (英语) Zbl 07762021号 随机结构。算法 63,第4号,885-941(2023).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{T.Bläsius}等人,《随机结构》。算法63,编号4885-941(2023;Zbl 07762021) 全文: DOI程序 arXiv公司 OA许可证
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 07760992号 ACM事务处理。计算。日志。 24,第4号,第31号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},ACM Trans。计算。日志。24,第4号,第31号论文,28页(2023;Zbl 07760992) 全文: DOI程序
威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: DOI程序
冈萨洛·伊玛兹(Gonzalo E.Imaz)。 多值逻辑中的第一个多项式非子句类。 (英语) Zbl 1522.03099号 模糊集系统。 456, 1-37 (2023).MSC公司:03B70号 03B52号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Imaz},模糊集系统。456,1--37(2023年;Zbl 1522.03099) 全文: DOI程序 arXiv公司
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 结合了稳定的无限性和(强烈的)礼貌。 (英语) Zbl 07753653号 J.汽车。推理 67,第4期,第34号论文,22页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理67,第4号,论文34,22页(2023;Zbl 07753653) 全文: DOI程序
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park,Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 关于向量的推理:序列理论的可满足模。 (英语) Zbl 07753651号 J.汽车。推理 67,第3号,第32号论文,第34页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理67,第3号,论文32,34页(2023;Zbl 07753651) 全文: DOI程序
勒斯特姆·塔哈诺夫 CSP加密和稀疏任务的代数结构。 (英语) Zbl 1522.68242号 约束条件 28,编号1,13-44(2023).MSC公司:65年第68季度 03B70号 2015年1月6日 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Takhanov},约束28,No.1,13-44(2023;Zbl 1522.68242) 全文: DOI程序 arXiv公司
马特奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 (英语) Zbl 1522.68519号 约束条件 28,编号1,1-12(2023).MSC公司:68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《约束》28,第1期,第1-12页(2023年;Zbl 1522.68519) 全文: DOI程序
彭俊强;肖明宇 SAT在公式长度方面的进一步改进。 (英语) Zbl 07742416号 Inf.计算。 294,文章ID 105085,第25页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Peng}和\textit{M.Xiao},Inf.Compute。294,文章ID 105085,25 p.(2023;Zbl 07742416) 全文: DOI程序
劳拉,博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 Pspace(Pspace)-子区间和后缀的时间逻辑的完整性。 (英语) Zbl 07742414号 Inf.计算。 294,文章ID 105083,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。294,文章ID 105083,20 p.(2023;Zbl 07742414) 全文: DOI程序
Franz Brauße;康斯坦丁·科洛文;玛格丽塔·科罗维纳五世。;穆勒,诺伯特·瑟。 ksmt演算是一个针对非线性约束的完整决策过程。 (英语) Zbl 07741110号 西奥。计算。科学。 975,文章ID 114125,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Brauße}等人,Theor。计算。科学。975,文章ID 114125,第16页(2023;Zbl 07741110) 全文: DOI程序
罗运荣;Cheng,车;蒋洁红R。 依赖随机布尔可满足性的分辨证明系统。 (英语) Zbl 07739776号 J.汽车。推理 67,第3号,第26号论文,第27页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-R.Luo}等人,J.Autom。推理67,第3号,论文26,27页(2023;Zbl 07739776) 全文: DOI程序
阿曼,博格丹 用带反膜的P系统解决SAT。 (英语) Zbl 07737508号 J.成员。计算。 5,第2号,100-107(2023年).MSC公司:2007年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman},J.Membr。计算。5、编号2、100--107(2023;Zbl 07737508) 全文: DOI程序
M.N.维亚利。 在两个元素的域上测试代数公式的可满足性。 (英语。俄文原件) Zbl 07733793号 问题。信息传输。 59,编号1,57-62(2023); Probl的翻译。Peredachi Inf.59,No.1,64-70(2023)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.N.Vyalyi},Probl(问题)。信息传输。59,编号1,57-62(2023;Zbl 07733793);Probl的翻译。Peredachi Inf.59,No.1,64--70(2023年) 全文: DOI程序
马坦一世·贝利德。;巴特·陈·罗森伯格;沙迦·伊扎基 通过模型引导近似进行SMT采样。 (英语) Zbl 1529.68284号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 74-91 (2023).MSC公司:68T20型 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \文本{M.I.Peled}等人,Lect。注释计算。科学。14000,74-91(2023;Zbl 1529.68284) 全文: DOI程序 arXiv公司
索姆·班纳吉;苏马纳州戈什;安苏曼·班纳吉;Swarup K.莫哈利。 基于SMT的尖峰神经网络建模与验证:案例研究。 (英语) Zbl 1529.68151号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 25-43 (2023).MSC公司:60年第68季度 2007年第68季度 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人,Lect。注释计算。科学。13881,25-43(2023;Zbl 1529.68151) 全文: DOI程序
米纳·马哈扬(编辑);弗里德里希·斯利沃夫斯基(编辑) 第26届满意度测试理论与应用国际会议,SAT 2023,阿尔盖罗,意大利,2023年7月4日至8日。 (英语) Zbl 1517.68023号 LIPIcs–莱布尼茨国际信息学会议录271.瓦德恩:《达格斯图尔城堡-莱布尼茨信息学》(ISBN 978-3-95977-286-0)。xvii,30篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 65年第68季度 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mahajan}(编辑)和\textit{F.Slivovsky}(编),第26届满意度测试理论和应用国际会议,SAT 2023,阿尔盖罗,意大利,2023年7月4-8日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1517.68023) 全文: DOI程序 链接
武和田。 回顾数据流中的最大可满足性和相关问题。 (英语) Zbl 07724744号 张勇(编辑)等,《计算与组合学》。第28届国际会议,COCOON 2022,中国深圳,2022年10月22日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13595, 186-198 (2023).MSC公司:68卢比 PDF格式BibTeX公司 XML格式引用 \textit{H.T.Vu},莱克特。注释计算。科学。13595,186--198(2023;Zbl 07724744) 全文: DOI程序 arXiv公司
马赛尔·威德 通配符压缩:抽象简单复数。 (英语) 兹伯利07712936 奎斯特。数学。 46,第6期,1151-1173(2023).MSC公司:68第05页 68兰特 68宽10 05E45型 PDF格式BibTeX公司 XML格式引用 \奎斯特,textit{M.Wild}。数学。46,编号6,1151--1173(2023;Zbl 07712936) 全文: DOI程序 arXiv公司
雷巴科夫,弗拉基米尔·弗拉基米罗维奇;弗拉基米尔·罗斯季斯拉夫维奇;康斯坦丁·维肯特·埃维奇·格雷科维奇 表示公式的完全不稳定真值的公式。 (英语) Zbl 07711304号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 44, 108-115 (2023).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}等人,Izv。伊尔库茨克。戈斯。州立大学。材料44,108--115(2023;Zbl 07711304) 全文: DOI程序 链接
尼基塔·阿列克桑德罗维奇·普罗琴科;雷巴科夫,弗拉基米尔·弗拉基米罗维奇;里马茨基、维塔利、瓦伦蒂诺维奇 区间FP-逻辑的可满足性问题。 (英语) Zbl 07711303号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 44, 98-107 (2023).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Protsenko}等人,Izv。伊尔库茨克。戈斯。州立大学。材料44、98-107(2023;Zbl 07711303) 全文: DOI程序 链接
弗朗西斯科·利奥芬特 OMTPlan:优化规划模块理论的工具。 (英语) Zbl 1523.68092号 J.满意。布尔模型。计算。 14, 17-23 (2023).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Leofate},J.萨蒂斯。布尔模型。计算。14、17-23(2023年;Zbl 1523.68092) 全文: DOI程序
丹钦、叶夫根尼;亚历山大·沃尔珀特 CNF中命题公式上的同构-不变距离函数。 (英语) Zbl 1523.68044号 J.满意。布尔模型。计算。 14, 1-15 (2023).MSC公司:68兰特 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Dantsin}和\textit{A.Wolpert},J.Satisfe。布尔模型。计算。2014年1月15日(2023年;Zbl 1523.68044) 全文: DOI程序
布鲁诺·P·卡瓦拉尔。;陆振坚 比较器电路收缩的算法和下限。 (英语) Zbl 07704071号 算法 85,编号7,2131-2155(2023).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{B.P.Cavalar}和\textit{Z.Lu},《算法》85,第7期,2131--2155(2023;Zbl 07704071) 全文: DOI程序 arXiv公司
亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 (英语) Zbl 07702725号 J.汽车。推理 67,第2号,第19号论文,第25页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,J.Autom。推理67,第2号,第19号论文,第25页(2023;Zbl 07702725) 全文: DOI程序
兹索尔特Gazdag;卡罗利·哈贾戈斯 描述P(P)通过登录时间-仅使用溶解规则的无偏振P系统的统一族。 (英语) Zbl 1512.68094号 西奥。计算。科学。 965,文章ID 113974,18 p.(2023).MSC公司:2007年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gazdag}和\textit{K.Hajagos},Theor。计算。科学。965,文章ID 113974,18 p.(2023;Zbl 1512.68094) 全文: DOI程序
Kelvin布尼奥;亨利·阿多纳 求解带字符串对象的分布式P系统中的3-SAT。 (英语) Zbl 1512.68093号 西奥。计算。科学。 964,文章ID 113976,27 p.(2023).MSC公司:2007年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Buño}和\textit{H.Adorna},Theor。计算。科学。964,文章ID 113976,27 p.(2023;Zbl 1512.68093) 全文: DOI程序
汤姆·佩特尔;斯泽德,斯特凡 打公式很难解决吗? (英语) Zbl 07696121号 离散应用程序。数学。 337, 173-184 (2023).MSC公司:68泰克 68季度xx 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}和\textit{S.Szeider},离散应用程序。数学。337173--184(2023年;Zbl 07696121) 全文: DOI程序 arXiv公司
山崎富代 2CNF布尔公式的可满足性问题和线性空间假设。 (英语) Zbl 07695011号 J.计算。系统。科学。 136, 88-112 (2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Yamakami},J.计算。系统。科学。136、88——112(2023;Zbl 07695011) 全文: DOI程序 链接
德米特里·库尼斯基 不可满足矩阵的差异和Komlós猜想常数的下界。 (英语) Zbl 07690456号 SIAM J.离散数学。 37,编号2,586-603(2023).MSC公司:68卢比 11公里38 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{D.Kunisky},SIAM J.离散数学。37,编号2,586--603(2023;Zbl 07690456) 全文: DOI程序 arXiv公司
查、奥龙;常、琼;野田佳彦 一种基于SAT的增量方法,用于解决实时出租车共享服务问题。 (英语) Zbl 1519.90214号 离散应用程序。数学。 335, 131-145 (2023).MSC公司:90C27型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{A.Zha}等人,《离散应用》。数学。335131-145(2023年;Zbl 1519.90214) 全文: DOI程序
迈克尔·珀塞尔 使用SAT解算器查找有趣的非标准骰子集。 (英语) Zbl 1530.68241号 美国数学。周一。 130,编号5,421-436(2023).MSC公司:68T20型 05-08 05A99号 05C20号 60二氧化碳 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Purcell},美国数学。周一。130,编号5,421--436(2023;Zbl 1530.68241) 全文: DOI程序
尼基尔·维亚斯;R.Ryan威廉姆斯 ACC电路稀疏对称函数的下限:扩展#SAT算法的范围。 (英语) Zbl 07680322号 理论计算。系统。 67,第1期,149-177(2023).MSC公司:68季度xx 94Cxx号 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Vyas}和\textit{R.R.Williams},理论计算。系统。67,编号1,149--177(2023;Zbl 07680322) 全文: DOI程序
坎通纳,多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。三: 关键的多项式最大可判定布尔语言的测试程序。 (英语) 兹伯利07673768 西奥。计算。科学。 954,文章ID 113786,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,Theor。计算。科学。954,文章ID 113786,21 p.(2023;Zbl 07673768) 全文: DOI程序
赵东东;廖磊;罗文建;向建文;姜浩;胡晓毅 生成随机SAT实例:可以预定义并深度隐藏多个解决方案。 (英语) Zbl 1506.68130号 J.人工制品。智力。研究(JAIR) 76, 435-470 (2023).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhao}等人,J.Artif。智力。研究(JAIR)76,435--470(2023;Zbl 1506.68130) 全文: DOI程序
亚历克西斯·德·科尔内;斯特凡·门格尔 用短正则分辨率反驳刻画谢廷公式。 (英语) Zbl 1506.68062号 J.人工制品。智力。研究(JAIR) 76, 265-286 (2023).MSC公司:68兰特 20层03 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.de Colnet}和\textit{S.Mengel},J.Artif。智力。决议(JAIR)76265-286(2023;兹比尔1506.68062) 全文: DOI程序
丹尼尔·贝伦德;戈兰,沙哈尔;Yochai Twitto CHAMP:基于保护程序变量的Max Sat多路径算法。 (英语) Zbl 1506.68119号 离散优化。 47,文章ID 100760,17 p.(2023).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人,离散优化。47,文章ID 100760,17 p.(2023;Zbl 1506.68119) 全文: DOI程序
迪伦,贝利耶;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 Good-for-game QPTL:一种交替的hodges语义。 (英语) Zbl 07650600号 ACM事务处理。计算。日志。 24,第1号,第4号论文,57页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人,ACM Trans。计算。日志。24,第1号,第4号论文,57页(2023;Zbl 07650600) 全文: DOI程序 arXiv公司
莫希特·库马尔;塞缪尔·科尔布;斯特凡诺·特索;吕克·德·雷德 从上下文示例中学习MAX-SAT以进行组合优化。 (英语) Zbl 07638281号 Artif公司。智力。 314,文章ID 103794,25 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Kumar}等人,Artif。智力。314,文章ID 103794,25 p.(2023;Zbl 07638281) 全文: DOI程序 arXiv公司 链接
马蒂亚斯·兰辛格 超越\(\beta\)的可追踪性-带否定和SAT的连接查询的无循环性。 (英语) Zbl 07636005号 西奥。计算。科学。 942, 276-296 (2023).MSC公司:65年第68季度 05C65号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \文本{M.Lanzinger},Theor。计算。科学。942、276——296(2023年;Zbl 07636005) 全文: DOI程序 arXiv公司
冈萨洛·伊玛兹(Gonzalo E.Imaz)。 可能的Horn非子句知识库。 (英语) Zbl 07629312号 国际J近似推理 152, 357-389 (2023).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Imaz},国际期刊近似推理152,357--389(2023;Zbl 07629312) 全文: DOI程序 arXiv公司
谢尔盖·多夫格尔;海达尔·努利加列夫 图形发散级数的渐近性:稠密有向图和2-SAT公式。 arXiv:2310.05282 预打印,arXiv:2310.05282[math.CO](2023)。MSC公司:2016年1月5日 2015年1月5日 05A10号 05C30号 05C80号 05C20号 60二氧化碳 87年第68季度 68兰特 BibTeX公司 引用 \textit{S.Dovgal}和\textit{K.Nurligareev},“图形发散级数的渐近性:稠密有向图和2-SAT公式”,预印,arXiv:2310.05282[math.CO](2023) 全文: arXiv公司 OA许可证
布鲁诺·P·卡瓦拉尔。;陆振坚 比较器电路的算法和下限不受收缩。 (英语) Zbl 07829266号 Mark Braverman(编辑),《理论计算机科学会议的第13次创新》,ITCS 2022,美国加州伯克利,2022年1月31日至2月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215,第34条,第21页(2022年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.P.Cavalar}和\textit{Z.Lu},LIPIcs——莱布尼茨国际程序。通知。215,第34条,第21页(2022;Zbl 07829266) 全文: DOI程序
科罗拉多州。;卡西穆丁,M.S.M。;Mansor,医学硕士。;萨塔西瓦姆,S。 Hopfield神经网络中基于蚁群优化的命题可满足性逻辑。 (英语) Zbl 07807408号 马来人。数学杂志。科学。 第16期,第1期,第37-53页(2022年).MSC公司:68倍 92年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Kho}等人,马来人。数学杂志。科学。16,编号1,37--53(2022;Zbl 07807408) 全文: DOI程序
瑞荷·贾科拉 统一防护碎片。 (英语) Zbl 07793040号 Bouyer,Patricia(编辑)等人,《软件科学和计算结构基础》。2022年4月2日至7日,第25届国际会议,FOSSACS 2022,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2022,德国慕尼黑。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242, 409-427 (2022).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \文本{R.Jaakkola},勒克特。注释计算。科学。13242、409--427(2022;Zbl 07793040) 全文: DOI程序 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,编号3,452-481(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: DOI程序 OA许可证
内奥米·林登斯特劳斯;米歇尔·塔拉格兰德 随机平衡布尔表达式的可满足性阈值是多少? (英语) Zbl 07751102号 随机结构。算法 61,第3号,599-615(2022).MSC公司:68兰特 60二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{N.Lindenstrauss}和\textit{M.Talagrand},随机结构。算法61,No.3,599--615(2022;Zbl 07751102) 全文: DOI程序
奥雷利亚娜·马丁,大卫;路易斯·瓦伦西亚-卡布雷拉;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。 膜的生成和求解QSAT的同向/反向规则。 (英语) Zbl 1518.68118号 J.成员。计算。 4,第3号,261-267(2022).MSC公司:2007年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Orellana-Martín}等人,J.Membr。计算。4,编号3,261--267(2022;Zbl 1518.68118) 全文: DOI程序
阿古斯汀·里斯科斯·努涅斯;路易斯·瓦伦西亚-卡布雷拉 发件人坐到坐-联合国卫星电视台使用具有溶解规则的P系统。 (英语) Zbl 1518.68120号 J.成员。计算。 4,第2期,97-106(2022).MSC公司:2007年第68季度 2015年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Riscos-Nüñez}和\textit{L.Valencia-Cabrera},J.Membr。计算。4,编号2,97--106(2022;Zbl 1518.68120) 全文: DOI程序
米罗斯拉夫·乔迪尔;安东·库切拉;简·Křetínsk 定量概率CTL的可满足性:迎接挑战。 (英语) Zbl 1528.68216号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 364-387 (2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}等人,Lect。注释计算。科学。13660364--387(2022年;Zbl 1528.68216) 全文: DOI程序
伊莎贝·库尔曼;安娜·盖斯勒;费雯·拉斯洛;Thimm,Matthias马蒂亚斯 基于ASP和基于SAT的冲突不一致性度量算法的比较。 (英语) Zbl 1524.68375号 Dupin de Saint-Cyr,Florence(编辑)等,可扩展不确定性管理。2022年10月17日至19日,法国巴黎,第15届国际会议,SUM 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13562, 139-153 (2022).MSC公司:68层37 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.Kuhlmann}等人,Lect。注释计算。科学。13562、139--153(2022年;Zbl 1524.68375) 全文: DOI程序
约书亚·莫尔曼;托尔斯滕·魏斯曼 满意地陈述身份验证。 (英语) Zbl 1524.68176号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 450-466 (2022).MSC公司:65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Moerman}和\textit{T.Wißmann},Lect。注释计算。科学。13560450-466(2022年;Zbl 1524.68176) 全文: DOI程序
卡茨,盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。 Reluplex:关于深层神经网络的推理演算。 (英语) Zbl 1522.68328号 形式方法系统。设计。 60,编号1,87-116(2022).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}等人,《形式方法系统》。设计。60,编号1,87--116(2022;Zbl 1522.68328) 全文: DOI程序
杨炯;查克拉波蒂,苏普拉特克;Kuldeep S.梅尔。 预计模型计数:超出独立支持范围。 (英语) Zbl 1522.68378号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 171-187 (2022).MSC公司:68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,Lect。注释计算。科学。13505171--187(2022年;Zbl 1522.68378) 全文: DOI程序 arXiv公司
尼科洛·迪马尔科;安德烈亚·弗罗西尼 用给定投影刻画凸集的SAT公式的性质。 (英语) Zbl 1522.68642号 Baudyer,E-tienne(编辑)等人,《离散几何与数学形态学》。第二届国际联合会议,DGMM 2022,法国斯特拉斯堡,2022年10月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13493, 153-166 (2022).MSC公司:68单位05 05B50号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Di Marco}和\textit{A.Frosini},莱克特。注释计算。科学。13493,153--166(2022;Zbl 1522.68642) 全文: DOI程序
Hůla,一月;Jakubův,简;米科拉什·亚诺塔;卢卡什库贝 SMT解算器的目标配置。 (英语) Zbl 07691304号 Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13467, 256-271 (2022).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.Hůla}等人,Lect。注释计算。科学。13467256-271(2022;Zbl 07691304) 全文: DOI程序
迪特尔·范德桑德;沃尔夫·德·沃尔夫;巴特·博加特 QMaxSATpb:经认证的MaxSAT解算器。 (英语) Zbl 07671906号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 429-442 (2022).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Vandesande}等人,Lect。注释计算。科学。13416,429--442(2022;Zbl 07671906) 全文: DOI程序 链接
丹尼尔·贝伦德;戈兰,沙哈尔;Yochai Twitto Go-MOCE:Max-Sat条件期望的贪婪排序方法。 (英语) Zbl 1507.68289号 离散优化。 43,文章ID 100685,30 p.(2022).MSC公司:68T20型 68兰特 68瓦40 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人,《离散优化》。43,文章ID 100685,30 p.(2022;Zbl 1507.68289) 全文: DOI程序
皮·马蒂厄;穆罕默德·萨米·谢里夫;贾马尔·哈贝特 Max-SAT的证明和证书。 (英语) Zbl 07639823号 J.人工制品。智力。研究(JAIR) 75, 1373-1400 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Py}等人,J.Artif。智力。(JAIR)第75号决议,第1373号决议——第1400号决议(2022年;Zbl 07639823) 全文: DOI程序
亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈,恩里科 长期贷款无限状态系统中的证伪。 (英语) Zbl 07629158号 Inf.计算。 289,A部分,文章ID 104977,43 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。289,A部分,文章ID 104977,43 p.(2022;Zbl 07629158) 全文: DOI程序
鲁索,路易斯·M·s。;科斯塔,迪奥戈;鲁伊·恩里克;伊迪奥·班奈;亚历山大·P·弗朗西斯科。 与不确定字符串匹配的保序模式。 (英语) Zbl 07629128号 Inf.计算。 289,A部分,文章ID 104924,13 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.M.S.Russo}等人,《信息计算》。289,A部分,文章ID 104924,13 p.(2022;Zbl 07629128) 全文: DOI程序 链接
李建文;莫舍·瓦尔迪。;克里斯汀·罗泽尔。 任务时间满意度检查长期贷款(MLTL)。 (英语) Zbl 07629127号 Inf.计算。 289,A部分,文章ID 104923,17 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,《信息计算》。289,A部分,文章ID 104923,17 p.(2022;Zbl 07629127) 全文: DOI程序
克雷默,杰伦;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 中求解非线性实数算法的协作技术cvc5公司SMT求解器(系统描述)。 (英语) Zbl 07628183号 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 95-105 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}等人,Lect。注释计算。科学。13385,95-105(2022年;兹bl 07628183) 全文: DOI程序
汉内斯·伊哈莱宁;杰里米亚斯·伯格;马蒂·Järvisalo 最大可满足性中的子句冗余和预处理。 (英语) Zbl 07628182号 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 75-94 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Ihalainen}等人,Lect。注释计算。科学。13385,75-94(2022;Zbl 07628182) 全文: DOI程序
丹尼尔·贝伦德;戈兰,沙哈尔;Yochai Twitto 使用条件期望方法为CCLS提供了一个改进的起点。 (英语) Zbl 1505.90097号 J.库姆。最佳方案。 44,第5期,3711-3734(2022).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人,J.Comb。最佳方案。44,编号5,3711--3734(2022;兹bl 1505.90097) 全文: DOI程序
V·阿尔文德。;文凯特桑·古鲁斯瓦米 子空间中的CNF可满足性及相关问题。 (英语) Zbl 07608291号 算法 84,第11号,3276-3299(2022).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{V.Guruswami},《算法》84,No.11,3276-3299(2022;Zbl 07608291) 全文: DOI程序 arXiv公司
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 (英语) Zbl 07606342号 J.汽车。推理 66,编号3,331-355(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理66,No.3,331--355(2022;Zbl 07606342) 全文: DOI程序 arXiv公司 链接
乔舒亚·布拉肯西克;Marijn脚后跟;约翰·麦基;大卫·纳瓦兹 凯勒猜想的解决方案。 (英语) Zbl 07606340号 J.汽车。推理 66,编号3,277-300(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}等人,J.Autom。推理66,No.3,277--300(2022;Zbl 07606340) 全文: DOI程序 arXiv公司
阿西恩·阿查,罗伯托;罗德里戈洛佩斯;塞巴斯蒂安·哈格多恩;豪尔赫·贝尔。 多代理路径查找:一种新的布尔编码。 (英语) Zbl 07603114号 J.人工制品。智力。研究(JAIR) 75, 323-350 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Asín Achá}等人,J.Artif。智力。研究(JAIR)75,323--350(2022;Zbl 07603114) 全文: DOI程序
亚辛·伊扎;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 关于处理决策树中的解释冗余。 (英语) Zbl 07603113号 J.人工制品。智力。研究(JAIR) 75, 261-321 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Y.Izza}等人,J.Artif。智力。研究(JAIR)75,261--321(2022;Zbl 07603113) 全文: DOI程序 arXiv公司
亚伦·赖伊 上下文敏感融合文法和禁止上下文的融合文法具有普遍性。 (英语) Zbl 07601282号 Inf.计算。 288,文章ID 104889,22 p.(2022).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lye},Inf.计算。288,文章ID 104889,22 p.(2022;Zbl 07601282) 全文: DOI程序
马凯·曼;艾哈迈德·伊尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: DOI程序 arXiv公司
比什瓦米特拉·戈什;德米特里·马利奥托夫;Kuldeep S.梅尔。 有效学习可解释的分类规则。 (英语) Zbl 07596562号 J.人工制品。智力。研究(JAIR) 1823-1863年(2022年).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}等人,J.Artif。智力。研究(JAIR)74,1823-1863(2022;Zbl 07596562) 全文: DOI程序 arXiv公司
张,韩;李娇阳;帕维尔·苏瑞克;萨蒂什·库马尔,T.K。;斯文·柯尼格 使用互斥传播的多代理路径查找。 (英语) Zbl 1519.68243号 Artif公司。智力。 311,文章ID 103766,21 p.(2022).MSC公司:68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}等人,Artif。智力。311,文章ID 103766,21 p.(2022;Zbl 1519.68243) 全文: DOI程序
大卫·奈曼;约翰·麦基;Marijn脚后跟 有向Ramsey数的更紧边界\(R(7)\)。 (英语) Zbl 1497.05171号 图形梳。 38,第5号,第156号论文,第17页(2022年).MSC公司:05元55分 5月10日 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neiman}等人,图梳。38,第5号,第156号文件,第17页(2022;兹bl 1497.05171) 全文: DOI程序 arXiv公司
维克托·拉盖克维斯特;瓦尔斯特伦,马格纳斯 NP-hard SAT和CSP问题的(粗)细粒度结构。 (英语) Zbl 1495.68158号 ACM事务处理。计算。理论 14,第1号,第2号论文,54页(2022年).MSC公司:68兰特 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{M.WahlströM},ACM翻译。计算。理论14,第1号,论文2,54页(2022;Zbl 1495.68158) 全文: DOI程序 链接
米哈伊尔·里巴科夫;德米特里·什卡托夫 具有非及物模态逻辑的产品有限变量片段的复杂性。 (英语) Zbl 07589718号 J.日志。计算。 32,第5号,853-870(2022).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},J.Log。计算。32,编号5,853--870(2022;Zbl 07589718) 全文: DOI程序
彼得·库切拉 学习传播完整公式。 (英语) Zbl 1522.68468号 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 214-231 (2022).MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Kučera},莱克特。注释计算。科学。13292,214--231(2022;Zbl 1522.68468) 全文: DOI程序
根纳罗·奥里奇奥;卢卡·费拉里尼;斯特凡诺·瓜兰迪;格雷塔·兰扎罗托;卢多维科·佩纳扎 一种SAT编码,用于计算非周期平铺节奏佳能。 (英语) Zbl 1502.00085号 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 14-23 (2022).MSC公司:00A65号 52C23型 68兰特 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Auricchio}等人,Lect。注释计算。科学。13292,14-23(2022;Zbl 1502.00085) 全文: DOI程序 arXiv公司
巴托斯·贝德纳西克;斯特凡·德姆里 为什么命题量化使树上的模态逻辑和时序逻辑变得异常困难? (英语) Zbl 07577569号 日志。方法计算。科学。 18,第3号,第5号文件,第46页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{S.Demri},日志。方法计算。科学。18,第3号,第5号论文,46页(2022;Zbl 07577569) 全文: arXiv公司 链接
罗伯特·加尼安;安德烈·希德勒;曼纽尔·索尔吉;斯泽德,斯特凡 阈值树宽度和超树宽度。 (英语) Zbl 07577520号 J.人工制品。智力。研究(JAIR) 74687-1713(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人,J.Artif。智力。研究(JAIR)74,1687--1713(2022;Zbl 07577520) 全文: DOI程序 arXiv公司
蔡少伟;张新迪;马蒂亚斯·弗勒里;阿明·比尔 通过局部搜索和目标阶段在CDCL中实现更好的决策启发。 (英语) Zbl 07577517号 J.人工制品。智力。研究(JAIR) 74, 1515-1563 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,J.Artif。智力。研究(JAIR)74,1515--1563(2022;Zbl 07577517) 全文: DOI程序
内森·穆尔;庞硕;亚历山大·拉兹博罗夫 基于CDCL的有序决策证明系统。 (英语) Zbl 1526.68011号 SIAM J.计算。 51,第4期,1368-1399(2022).MSC公司:68伏15 20层03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Mull}等人,SIAM J.Compute。51,编号4,1368--1399(2022;Zbl 1526.68011) 全文: DOI程序
Kuldeep S.梅尔。(编辑);斯特里赫曼(Ofer Strichman)(编辑) 第25届满意度测试理论与应用国际会议,2022年8月2日至5日,以色列海法,SAT 2022。 (英语) Zbl 1494.68012号 LIPIcs–莱布尼茨国际信息学会议录236.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-242-6)。xvii,31篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 65年第68季度 68兰特 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Meel}(编辑)和\textit{O.Strichman}(编),第25届可满足性测试理论和应用国际会议,2022年8月2-5日,以色列海法,SAT 2022。Wadern:达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik(2022;Zbl 1494.68012) 全文: DOI程序 链接