李建文;莫舍·瓦尔迪。;克里斯汀·罗泽尔。 任务时间满意度检查长期贷款（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程序
杰弗里·杜德克。;Vu H.N.Phan。;莫舍·瓦尔迪。 ProCount：带分级项目连接树的加权投影模型计数。 （英语） Zbl 07495571号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12831, 152-170 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Dudek}等人，Lect。票据计算。科学。12831152-170（2021；Zbl 07495571） 全文： DOI程序
凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 （英语） 兹比尔1520.68105 Artif公司。智力。 299，文章ID 103559，32 p.（2021）.MSC公司：68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人，Artif。智力。299，文章ID 103559，32页（2021；Zbl 1520.68105） 全文： DOI程序
李建文;浦、葛光;张月玲;莫舍·瓦尔迪。;克里斯汀·罗泽尔。 基于SAT的显式\（\mathsf{LTL}_f\)满意度检查。 （英语） Zbl 1504.68205号 Artif公司。智力。 289，文章ID 103369，19 p.（2020）.MSC公司：68T20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，Artif。智力。289，文章ID 103369，19 p.（2020；Zbl 1504.68205） 全文： DOI程序 arXiv公司
Kuldeep S.梅尔。;Aditya A.Shrotri。;莫舍·瓦尔迪。 并非所有的FPRAS都是相等的：为DNF计数揭开FPRAS的神秘面纱。 （英语） Zbl 1483.68498号 制约因素 24，编号3-4，211-233（2019）.MSC公司：68瓦20 68兰特 68T20型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Meel}等人，《限制条件24》，第3-4期，211-233页（2019年；Zbl 1483.68498） 全文： DOI程序
李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于SAT的显式LTL推理及其在可满足性检查中的应用。 （英语） Zbl 1425.68259号 形式方法系统。设计。 54，第2期，164-190（2019）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，《形式方法系统》。设计。54，第2号，164--190（2019年；Zbl 1425.68259） 全文： DOI程序
李建文;浦、葛光;张丽君;莫舍·瓦尔迪。;何继峰 通过SAT求解器加速LTL可满足性检查。 （英语） Zbl 1410.68235号 J.日志。计算。 28，第6号，1011-1030（2018）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，J.Log。计算。28，第6号，1011--1030（2018；Zbl 1410.68235） 全文： DOI程序
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 （英语） Zbl 1382.68142号 正式Asp。计算。 30，第2期，193-217（2018）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，正式Asp。计算。30，第2号，193--217（2018；Zbl 1382.68142） 全文： DOI程序
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 策略推理：关于可满足性问题。 （英语） Zbl 1448.68312号 日志。方法计算。科学。 13，第1号，第9号论文，37页（2017年）.MSC公司：60年第68季度 03B44号 03B70号 2017年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，日志。方法计算。科学。13，第1号，第9号论文，37页（2017；Zbl 1448.68312） 全文： DOI程序 arXiv公司
皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 富集计算的复杂性。 （英语） Zbl 1151.03016号 日志。方法计算。科学。 4，第3期，论文11，27页（2008年）.MSC公司：03B70号 03年2月25日 03B45号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.A.Bonatti｝等人，日志。方法计算。科学。4，第3号，论文11，27页（2008；Zbl 1151.03016） 全文： DOI程序
克里斯托弗·摩尔;加布里埃尔·伊斯特拉特;德米特里厄斯·德莫普洛斯;莫舍·瓦尔迪。 随机Horn-SAT公式可满足性中的连续-不连续二阶跃迁。 （英语） Zbl 1147.68717号 随机结构。算法 31，第2期，173-185（2007）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Moore}等人，《随机结构》。算法31，No.2，173--185（2007；Zbl 1147.68717） 全文： DOI程序
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的SAT图书馆：宣言。 （英语） Zbl 0990.90559号 Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。MSC公司：90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，《电子》。注释离散数学。9，无页码。（2001年；Zbl 0990.90559）
莫舍·瓦尔迪。 用双向自动机推理过去。 （英语） Zbl 0909.03019号 Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1443, 628-641 (1998). 审核人：D.Gruska（布拉迪斯拉发） MSC公司：03B45号 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \文本｛M.Y.Vardi｝，Lect。票据计算。科学。1443、628--641（1998年；Zbl 0909.03019）
费德，托马斯;莫舍·瓦尔迪。 单调单子SNP的计算结构和约束满足：通过数据日志和群论进行的研究。 （英语） Zbl 0914.68075号 SIAM J.计算。 28，第1期，57-104（1998）.MSC公司：2015年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{T.Feder}和\textit{M.Y.Vardi}，SIAM J.Compute。28，第1号，57--104（1998；Zbl 0914.68075） 全文： DOI程序
埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 关于二元一阶逻辑的决策问题。 （英语） Zbl 0873.03009号 牛市。符号。日志。 第3期，第1期，第53-69页（1997年）.MSC公司：03年2月25日 2015年3月1日 03C13号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人，公牛。符号。日志。3，编号1，53--69（1997；Zbl 0873.03009） 全文： DOI程序 链接 链接
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 二阶逻辑片段的0-1律和判定问题。 （英语） Zbl 0708.03004号 Inf.计算。 87，编号1-2，302-338（1990）.MSC公司：03年2月25日 2015年3月1日 03B15号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，Inf.Compute。87，编号1--2，302-338（1990；Zbl 0708.03004） 全文： DOI程序
西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时间逻辑中的应用。 （英语） Zbl 0613.03015号 西奥。计算。科学。 49, 217-237 (1987).MSC公司：05年3月 03B70号 03年2月25日 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人，Theor。计算。科学。49、217--237（1987；Zbl 0613.03015） 全文： DOI程序
莫舍·瓦尔迪。;皮埃尔·沃尔珀 程序模态逻辑的自动机理论技术。 （英语） Zbl 0622.03017号 J.计算。系统。科学。 32, 183-221 (1986). 审核人：H.西村 MSC公司：03B70号 03年2月25日 68问题65 05年3月 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}和\textit{P.Wolper}，J.Compute。系统。科学。32183--221（1986年；兹bl 06220.3017） 全文： DOI程序
西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时序逻辑中的应用。 （英语） Zbl 0577.03019号 《自动化、语言和编程》，第12届Colloq.，Nafplion/希腊1985年，Lect。票据计算。科学。194, 465-474 (1985). 审核人：A.克雷奇马尔 MSC公司：05年3月 03年2月25日 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式