Matti Järvisalo

Cited by

	All	Since 2019
Citations	4843	2918
h-index	38	30
i10-index	105	78

560

280

140

420

20072008200920102011201220132014201520162017201820192020202120222023202416 43 43 46 60 74 152 206 217 305 348 343 352 443 528 542 559 482

Public access

View all

103 articles

0 articles

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 CopenhagenVerified email at di.ku.dk
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
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Petri MyllymakiProfessor of Computer Science, University of HelsinkiVerified email at helsinki.fi
Tomas BalyoFiluta AIVerified email at filuta.ai
Markus IserKarlsruhe Institute of TechnologyVerified email at kit.edu
Wolfgang DvořákTU WienVerified email at tuwien.ac.at

Matti Järvisalo

Professor, University of Helsinki

Verified email at helsinki.fi - Homepage

Automated reasoning optimization knowledge representation SAT #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	287	2012
The International SAT Solver Competitions M Järvisalo, D Le Berre, O Roussel, L Simon AI Magazine 33 (1), 89-92, 2012	227	2012
Blocked clause elimination M Järvisalo, A Biere, M Heule Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	187	2010
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. A Hyttinen, F Eberhardt, M Järvisalo UAI, 340-349, 2014	158	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	149	2012
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	120	2017
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo UAI, 2013	117	2013
Clause elimination procedures for CNF formulas M Heule, M Järvisalo, A Biere Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	108	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	96	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	94	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	82	2017
SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021	81	2021
Maximum satisfiabiliy F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021	79	2021
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
Simulating Circuit-Level Simplifications on CNF M Järvisalo, A Biere, MJH Heule Journal of Automated Reasoning 49 (4), 583-619, 2012	72	2012
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	70	2012
Acceptance in incomplete argumentation frameworks D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe Artificial Intelligence 295, 103470, 2021	68	2021
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	64	2017
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