×

找到2342个文档(结果1-100)

自动机上的通用一阶量化。 (英语) Zbl 07810926号

Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14151, 91-102 (2023).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

命题包含和独立逻辑的参数化复杂性。 (英语) Zbl 07810570号

Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13923, 274-291 (2023).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

制动:R1CS的线性时间和现场诊断SNARK。 (英语) Zbl 07799222号

Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。14082, 193-226 (2023).
MSC公司:94A60型 94B05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用恐怖的鹅卵石游戏优化量子空间。 (英语) Zbl 07786600号

Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13960, 134-149 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向去可逆化:静态地减少断言。 (英语) Zbl 07786598号

Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13960, 106-114 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过模型引导近似进行SMT采样。 (英语) Zbl 07728837号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000,74-91(2023年)。
PDF格式BibTeX公司 XML格式引用

基于SMT的尖峰神经网络建模与验证:案例研究。 (英语) Zbl 07728613号

Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13881, 25-43 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第26届满意度测试理论与应用国际会议,SAT 2023,阿尔盖罗,意大利,2023年7月4日至8日。 (英语) Zbl 1517.68023号

LIPIcs–莱布尼茨国际信息学会议录271.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-286-0)。xvii,30篇文章,非连续页面,仅电子版,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

回顾数据流中的最大可满足性和相关问题。 (英语) 兹伯利07724744

张勇(编辑)等,《计算与组合学》。第28届国际会议,COCOON 2022,中国深圳,2022年10月22日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13595, 186-198 (2023).
MSC公司:68卢比
PDF格式BibTeX公司 XML格式引用

图形发散级数的渐近性:稠密有向图和2-SAT公式。 arXiv:2310.05282

预打印,arXiv:2310.05282[math.CO](2023)。
BibTeX公司 引用
全文: arXiv公司

统一防护碎片。 (英语) Zbl 07793040号

Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13242409-427(2022)中所述。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

定量概率CTL的可满足性:迎接挑战。 (英语) 兹比尔1528.68216

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 364-387 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于ASP和基于SAT的冲突不一致性度量算法的比较。 (英语) Zbl 1524.68375号

Dupin de Saint-Cyr,Florence(编辑)等,可扩展不确定性管理。2022年10月17日至19日,法国巴黎,第15届国际会议,SUM 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13562, 139-153 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

满意地陈述身份验证。 (英语) Zbl 1524.68176号

Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。献给弗里茨·瓦德拉格60岁生日之际的散文。查姆:施普林格。莱克特。注释计算。科学。13560, 450-466 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

预计模型计数:超出独立支持范围。 (英语) Zbl 1522.68378号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505, 171-187 (2022).
PDF格式BibTeX公司 XML格式引用

用给定投影刻画凸集的SAT公式的性质。 (英语) Zbl 1522.68642号

Baudyer,E-tienne(编辑)等人,《离散几何与数学形态学》。第二届国际联合会议,DGMM 2022,法国斯特拉斯堡,2022年10月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13493, 153-166 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SMT解算器的目标配置。 (英语) Zbl 07691304号

Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13467, 256-271 (2022).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

QMaxSATpb:经过认证的MaxSAT解算器。 (英语) Zbl 07671906号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13416, 429-442 (2022).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

中求解非线性实数算法的协作技术cvc5公司SMT求解器(系统描述)。 (英语) Zbl 07628183号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 95-105 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大可满足性中的子句冗余和预处理。 (英语) Zbl 07628182号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 75-94 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习传播完整公式。 (英语) Zbl 1522.68468号

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13292, 214-231 (2022).
MSC公司:68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种SAT编码,用于计算非周期平铺节奏佳能。 (英语) Zbl 1502.00085号

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13292,14-23(2022)。
PDF格式BibTeX公司 XML格式引用

第25届满意度测试理论与应用国际会议,2022年8月2日至5日,以色列海法,SAT 2022。 (英语) Zbl 1494.68012号

LIPIcs–莱布尼茨国际信息学会议录236.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-242-6)。xvii,31篇文章,非连续页面,仅电子版,开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件