Matti Järvisalo

Cited by

	All	Since 2019
Citations	4653	2729
h-index	37	29
i10-index	103	76

560

280

140

420

20072008200920102011201220132014201520162017201820192020202120222023202416 43 43 46 60 74 152 201 221 304 351 340 347 438 529 539 554 310

Public access

View all

99 articles

1 article

available

not available

Based on funding mandates

Co-authors

Jeremias BergPostdoctoral Researcher, University of HelsinkiVerified email at helsinki.fi
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Antti HyttinenSilo AIVerified email at alumni.helsinki.fi
Johannes Peter WallnerInstitute of Software Technology, Graz University of TechnologyVerified email at ist.tugraz.at
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Paul SaikkoUniversity of HelsinkiVerified email at cs.helsinki.fi
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Tuomo LehtonenPostdoctoral Researcher, Aalto UniversityVerified email at aalto.fi
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Tuukka KorhonenUniversity of BergenVerified email at uib.no
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiVerified email at helsinki.fi
Petri MyllymakiProfessor of Computer Science, University of HelsinkiVerified email at helsinki.fi
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Tomas BalyoFiluta AIVerified email at filuta.ai
Wolfgang DvořákTU WienVerified email at tuwien.ac.at
Mikko KoivistoProfessor, University of HelsinkiVerified email at helsinki.fi

Matti Järvisalo

Professor, University of Helsinki

Verified email at helsinki.fi - Homepage

Automated reasoning optimization knowledge representation graphical models #UnivHelsinkiCS


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Inprocessing Rules M Järvisalo, M Heule, A Biere Proceedings of the 6th International Joint Conference on Automated Reasoning …, 2012	280	2012
The International SAT Solver Competitions M Järvisalo, D Le Berre, O Roussel, L Simon AI Magazine 33 (1), 89-92, 2012	224	2012
Blocked clause elimination M Järvisalo, A Biere, M Heule Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	184	2010
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. A Hyttinen, F Eberhardt, M Järvisalo UAI, 340-349, 2014	154	2014
Complexity-Sensitive Decision Procedures for Abstract Argumentation W Dvorák, M Järvisalo, JP Wallner, S Woltran Proceedings of the 13th International Conference on Principles of Knowledge …, 2012	146	2012
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	117	2017
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo UAI, 2013	113	2013
Clause elimination procedures for CNF formulas M Heule, M Järvisalo, A Biere Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	106	2010
Clause elimination for SAT and QSAT M Heule, M Järvisalo, F Lonsing, M Seidl, A Biere Journal of Artificial Intelligence Research 53, 127-168, 2015	91	2015
Efficient CNF simplification based on binary implication graphs M Heule, M Järvisalo, A Biere Theory and Applications of Satisfiability Testing-SAT 2011, 201-215, 2011	91	2011
LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016	86	2016
Complexity results and algorithms for extension enforcement in abstract argumentation JP Wallner, A Niskanen, M Järvisalo Journal of Artificial Intelligence Research 60, 1-40, 2017	78	2017
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014	74	2014
SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021	71	2021
Simulating Circuit-Level Simplifications on CNF M Järvisalo, A Biere, MJH Heule Journal of Automated Reasoning 49 (4), 583-619, 2012	71	2012
Maximum satisfiabiliy F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021	68	2021
Weak models of distributed computing, with connections to modal logic L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ... Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012	68	2012
Bayesian network structure learning with integer programming: Polytopes, facets and complexity J Cussens, M Järvisalo, JH Korhonen, M Bartlett Journal of Artificial Intelligence Research 58, 185-229, 2017	63	2017
Acceptance in incomplete argumentation frameworks D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe Artificial Intelligence 295, 103470, 2021	61	2021
Limitations of restricted branching in clause learning M Järvisalo, T Junttila Constraints 14, 325-356, 2009	61	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors