Matti Järvisalo - Publications, H-index & Citations

Matti Järvisalo

University of Helsinki

27H指数

194论文数

2.7K被引数

收录论文 11

发表时间

Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers 多目标伪布尔优化器的工程设计与评估

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I

IF0

2026-01-01

PREAI

Jabs, Christoph; Berg, Jeremias; Jarvisalo, Matti

ICCMA 2023: 5th International Competition on Computational Models of Argumentation

artificial intelligence review

IF4.6

2025-03-01

OAAI

Jarvisalo, Matti; Lehtonen, Tuomo; Niskanen, Andreas

SAT Competition 2020

artificial intelligence review

IF4.6

2021-12-01

OAAI

Froleyks, Nils; Heule, Marijn; Iser, Markus; Jarvisalo, Matti; Suda, Martin

Acceptance in incomplete argumentation frameworks

artificial intelligence review

IF4.6

2021-06-01

OAAI

Baumeister, Dorothea; Jarvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Joerg

Discovering causal graphs with cycles and latent confounders: An exact branch-and-bound approach 发现具有循环和潜在混杂因素的因果图: 一种精确的分支定界方法

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2020-02-01

OAAI

Rantanen, Kari; Hyttinen, Antti; Jarvisalo, Matti

Towards transformational creation of novel songs 走向小说歌曲的变革性创作

CONNECTION SCIENCE

IF3.4

2018-03-05

OAAI

Toivanen, Jukka M.; Jarvisalo, Matti; Alm, Olli; Ventura, Dan; Vainio, Martti; Toivonen, Hannu

Empirical hardness of finding optimal Bayesian network structures: algorithm selection and runtime prediction

MACHINE LEARNING

IF2.9

2017-12-20

OAAI

Malone, Brandon; Kangas, Kustaa; Jarvisalo, Matti; Koivisto, Mikko; Myllymaki, Petri

A constraint optimization approach to causal discovery from subsampled time series data 从子采样时间序列数据中发现因果关系的约束优化方法

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2017-11-01

OAAI

Hyttinen, Antti; Plis, Sergey; Jarvisalo, Matti; Eberhardt, Frederick; Danks, David

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

artificial intelligence review

IF4.6

2017-03-01

OAAI

Berg, Jeremias; Jarvisalo, Matti

Overview and analysis of the SAT Challenge 2012 solver competition

artificial intelligence review

IF4.6

2015-06-01

OAAI

Balint, Adrian; Belov, Anton; Jarvisalo, Matti; Sinz, Carsten

Complexity-sensitive decision procedures for abstract argumentation

artificial intelligence review

IF4.6

2014-01-01

OAAI

Dvorak, Wolfgang; Jarvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan

研究方向