汉内斯·伊哈莱宁;杰里米亚斯·伯格;马蒂·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） 全文： 内政部
弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 2020年SAT竞赛。 （英语） Zbl 1478.68320号 Artif公司。智力。 301，文章ID 103572，25 p.（2021）.MSC公司：68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Froleyks}等人，Artif。智力。301，文章ID 103572，25 p.（2021；Zbl 1478.68320） 全文： 内政部
杰里米亚斯·伯格;马蒂·Järvisalo 统一推理和核心引导搜索以获得最大可满足性。 （英语） Zbl 1525.68141号 Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 287-303 (2019).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berg}和\textit{M.Järvisalo}，莱克特。注释计算。科学。11468、287--303（2019年；Zbl 1525.68141） 全文： 内政部 链接
亚历山德罗·普雷维蒂;卡洛斯·门西娅;马蒂·Järvisalo;若昂·西尔瓦侯爵 通过缓存改进MCS枚举。 （英语） Zbl 1496.68258号 Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10491, 184-194 (2017).MSC公司：68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Previti}等人，Lect。注释计算。科学。10491、184--194（2017年；Zbl 1496.68258） 全文： 内政部 链接
杰里米亚斯·伯格;马蒂·Järvisalo 基于加权部分最大可满足性的最优约束相关聚类。 （英语） Zbl 1404.68138号 Artif公司。智力。 244, 110-142 (2017).MSC公司：68T20型 62H30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berg}和\textit{M.Järvisalo}，Artif。智力。244110--142（2017；Zbl 1404.68138） 全文： 内政部 链接
马蒂·Järvisalo;阿明·比尔;Heule，Marijn J.H。 在CNF上模拟电路级简化。 （英语） Zbl 1267.94144号 J.汽车。推理 49，第4期，583-619（2012）.MSC公司：94立方厘米10 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人，J.Autom。推理49，No.4，583--619（2012；Zbl 1267.94144） 全文： 内政部
马蒂·Järvisalo;汤米·琼蒂拉 限制分支在小句学习中的局限性。 （英语） Zbl 1192.68643号 约束条件 14，第3期，325-356（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{T.Junttila}，约束14，No.3，325--356（2009；Zbl 1192.68643） 全文： 内政部
马蒂·Järvisalo;伊尔卡·尼梅尔 结构分支对小句学习SAT解题效率的影响：一项实验研究。 （英语） Zbl 1162.68655号 J.算法 63，编号1-390-113（2008）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{I.Niemelä}，J.Algorithms 63，No.1-3，90-113（2008；Zbl 1162.68655） 全文： 内政部
哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔 用于基准等价推理技术的难满足子句集。 （英语） Zbl 1116.68084号 J.满意。布尔模型。计算。 2，编号1-4，27-46（2006）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Haanpää}等人，J.Satisf。布尔模型。计算。2，编号1--4，27-46（2006；Zbl 1116.68084）
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 （英语） Zbl 1086.03048号 安。数学。Artif公司。智力。 44，第4期，373-399（2005）.MSC公司：20层03 68吨15 68T20型 03B70号 94立方厘米10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人，《数学年鉴》。Artif公司。智力。44，第4号，373--399（2005；Zbl 1086.03048） 全文： 内政部