×

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

最新 引文 关联
马坦一世·贝利德。;巴特·陈·罗森伯格;沙迦·伊扎基

通过模型引导近似进行SMT采样。 （英语） 兹比尔1529.68284

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 74-91 (2023).
MSC公司：68T20型 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Peled}等人，Lect。注释计算。科学。14000，74-91（2023；Zbl 1529.68284）
全文： 内政部 arXiv公司
基里恩·克莱默;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利

中求解非线性实数算法的协作技术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；Zbl 07628183）
全文： 内政部
德扬·约瓦诺维奇;布鲁诺·杜特雷

非线性算法的插值和模型检查。 （英语） 兹比尔1493.68212

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 266-288 (2021).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Jovanović}和\textit{B.Dutertre}，莱克特。注释计算。科学。12760266--288（2021年；Zbl 1493.68212）
全文： 内政部 arXiv公司
尼基尔·皮姆帕尔切尔;费德里科·莫拉;伊丽莎白·波尔格林;Sanjit A.Seshia。

MedleySolver：在线SMT算法选择。 （英语） Zbl 07495591号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831453-470（2021年）。
MSC公司：第68季度25 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Pimpalkhare}等人，Lect。注释计算。科学。12831453-470（2021；Zbl 07495591）
全文： 内政部 链接
马凯·曼;阿玛莉·威尔逊;尤尼·佐哈尔;林赛·特恩茨;艾哈迈德·埃尔凡;克里斯托弗·布朗;卡勒布·多诺维克;阿利森·古曼;塞萨尔·蒂内利;克拉克·巴雷特

Smt-Switch：用于Smt解决的与解决方案无关的C++API。 （英语） Zbl 07495586号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 377-386 (2021).
MSC公司：第68季度25 2007年4月68日 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Mann}等人，Lect。注释计算。科学。12831377--386（2021；Zbl 07495586）
全文： 内政部 arXiv公司
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金

基于SMT的数据软件过程验证：一种模型理论方法。 （英语） 兹比尔1495.68129

数学。结构。计算。科学。 30，第3期，271-313（2020年）.
MSC公司：60年第68季度 03B70号 03C98号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，数学。结构。计算。科学。30，第3号，271--313（2020；Zbl 1495.68129）
全文： 内政部
布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什

SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 （英语） Zbl 1434.05001号

安。数学。Artif公司。智力。 87，第4号，321-342（2019）.
审核人：Ioan Tomescu（布库雷什蒂）
MSC公司：05-04 05B20号 68卢比 68T27型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001）
全文： 内政部 arXiv公司
克里斯蒂娜·博拉莱拉斯;丹尼尔·拉拉兹;恩里克·罗德里格斯-卡博内尔;阿尔伯特·奥利弗拉斯;阿尔伯特·鲁比奥

求解整数上非线性公式的不完全SMT技术。 （英语） Zbl 1433.68405号

ACM事务处理。计算。日志。 第20条第4款第25条第25页（2019年）.
MSC公司：68T20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{C.Borraleras}等人，ACM Trans。计算。日志。20，第4号，第25条，第25页（2019年；Zbl 1433.68405）
全文： 内政部 arXiv公司
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默

用mcSAT确定位向量公式。 （英语） Zbl 1475.68226号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 249-266 (2016).
MSC公司：68兰特 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Zeljić}等人，Lect。注释计算。科学。9710，249--266（2016；Zbl 1475.68226）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件