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

Karlsruhe Institute of Technology

Matti Järvisalo is an author at University of Helsinki specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningComputational ComplexityFormal MethodsSatisfiabilityFormal VerificationData ScienceArtificial IntelligenceCombinatorial Optimization

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

Mathematical Programming, Artificial Intelligence, Computational Science +15

SAT Competition 2020

Nils Froleyks, Marijn J. H. Heule, Markus Iser et al. · Artificial Intelligence · 2021 · 79 citations · Full text

Artificial Intelligence, Engineering, Verification +21

SAT Competition 2016: Recent Developments

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

Artificial Intelligence, Engineering, Computational Complexity +16

Clause Elimination for SAT and QSAT

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

Constraint Solving, Engineering, Automated Reasoning +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

Engineering, Argumentation Dynamics, Argumentation Analysis +16

1–5 of 55