安德烈亚斯·尼斯卡宁;杰里·穆斯托宁;杰里米亚斯·伯格;马蒂·Järvisalo 计算量化布尔公式的最小MUS。 （英语） Zbl 07671896号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 301-314 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niskanen}等人，Lect。注释计算。科学。13416，301-314（2022；Zbl 07671896） 全文： 内政部
托莫莱顿;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 在基于假设的论证中利用增量答案集求解进行推理。 （英语） Zbl 1530.68247号 理论与实践。日志。程序。 21，第6期，717-734（2021）.MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehtonen}等人，《理论与实践》。日志。程序。21，编号6，717--734（2021；Zbl 1530.68247） 全文： 内政部 arXiv公司 OA许可证
多萝西娅·鲍迈斯特;马蒂·Järvisalo;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 在不完整的论证框架中接受。 （英语） Zbl 1519.68244号 Artif公司。智力。 295，文章ID 103470，35 p.（2021）.MSC公司：68T27型 65年第68季度 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Baumeister}等人，Artif。智力。295，文章ID 103470，35 p.（2021；Zbl 1519.68244） 全文： 内政部
安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo Pakota：抽象论证中的强制执行系统。 （英语） Zbl 1483.68383号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021385-400（2016年）。MSC公司：68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niskanen}等人，Lect。注释计算。科学。10021385--400（2016；Zbl 1483.68383） 全文： 内政部
丹尼·多列夫;凯乔·赫尔扬科;马蒂·Järvisalo;Janne H.Korhonen。;克里斯托夫·伦岑;乔尔·里比奇;朱卡·索米拉;Siert Wieringa公司 同步计数和计算算法设计。 （英语） Zbl 1346.68038号 J.计算。系统。科学。 82，第2期，310-332（2016）.MSC公司：64岁以下 68M10个 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dolev}等人，《计算杂志》。系统。科学。82，No.2，310--332（2016；Zbl 1346.68038） 全文： 内政部
沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 抽象论证的复杂敏感决策程序。 （英语） Zbl 1334.68206号 Artif公司。智力。 206, 53-78 (2014).MSC公司：68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人，Artif。智力。206、53-78（2014年；Zbl 1334.68206） 全文： 内政部
马蒂·Järvisalo;阿明·比尔;Heule，Marijn J.H。 在CNF上模拟电路级简化。 （英语） Zbl 1267.94144号 J.汽车。推理 49，第4期，583-619（2012）.MSC公司：94立方厘米 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Järvisalo}等人，J.Autom。推理49，第4期，583–619（2012年；Zbl 1267.94144） 全文： 内政部
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 （英语） Zbl 1086.03048号 安。数学。Artif公司。智力。 44，第4期，373-399（2005）.MSC公司：20层03 68吨15 68T20型 03B70号 94立方厘米 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人，《数学年鉴》。Artif公司。智力。44，第4号，373--399（2005；Zbl 1086.03048） 全文： 内政部