Concepedia

Matti Järvisalo

MJ

Statistics

Publications

55

Citations

1.6K

H-Index

24

Active since

2005

Affiliations

University of Helsinki(Current)

Helsinki Institute for Information Technology

Carnegie Mellon University

Johannes Kepler University of Linz

Matti Järvisalo is an author at University of Helsinki specializing in computer science, computing, and constraint satisfaction.

Publications per year

2005–2021

55

Publications

55

The International SAT Solver Competitions

Matti Järvisalo, Daniel Le Berre, Olivier Roussel et al. · AI Magazine · 2012 · 124 citations · Full text

Computing, Computer Science, Algorithms +9

SAT Competition 2020

Nils Froleyks, Marijn J. H. Heule, Matti Järvisalo et al. · Artificial Intelligence · 2021 · 83 citations · Full text

Computing, Computer Science, Algorithms +11

SAT Competition 2016: Recent Developments

Tomáš Balyo, Marijn J. H. Heule, Matti Järvisalo · Proceedings of the AAAI Conference on Artificial Intelligence · 2017 · 78 citations · Full text

Computing, Computer Science, Mathematics +13

Clause Elimination for SAT and QSAT

Marijn J. H. Heule, Matti Järvisalo, Florian Lonsing et al. · Journal of Artificial Intelligence Research · 2015 · 69 citations · Full text

Computing, Computer Science, Algorithms +12

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

Johannes Wallner, Andreas Niskanen, Matti Järvisalo · Journal of Artificial Intelligence Research · 2017 · 60 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

1–5 of 55