Matti Järvisalo

Cited by

	All	Since 2018
Citations	4272	2716
h-index	36	29
i10-index	97	76

580

290

145

435

2007200820092010201120122013201420152016201720182019202020212022202317 41 30 43 60 75 152 199 215 296 359 333 351 446 505 563 512

Public access

View all

97 articles

1 article

available

not available

Based on funding mandates

Co-authors

Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jeremias BergPostdoctoral Researcher, University of HelsinkiVerified email at helsinki.fi
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 LehtonenUniversity of HelsinkiVerified email at helsinki.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
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
Tomas BalyoFiluta AIVerified email at filuta.ai
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Wolfgang DvořákTU WienVerified email at tuwien.ac.at
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
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	259	2012
The International SAT Solver Competitions M Järvisalo, D Le Berre, O Roussel, L Simon AI Magazine 33 (1), 89-92, 2012	212	2012
Blocked clause elimination M Järvisalo, A Biere, M Heule Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	172	2010
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	141	2012
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. A Hyttinen, F Eberhardt, M Järvisalo UAI, 340-349, 2014	136	2014
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo UAI, 2013	110	2013
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	109	2017
Clause elimination procedures for CNF formulas M Heule, M Järvisalo, A Biere Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	101	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	88	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	88	2011
LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016	84	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	74	2017
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014	72	2014
Simulating Circuit-Level Simplifications on CNF M Järvisalo, A Biere, MJH Heule Journal of Automated Reasoning 49 (4), 583-619, 2012	69	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	65	2012
Unrestricted vs restricted cut in a tableau method for Boolean circuits M Järvisalo, T Junttila, I Niemelä Annals of Mathematics and Artificial Intelligence 44 (4), 373-399, 2005	60	2005
Maximum satisfiabiliy F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021	58	2021
Harnessing constraint programming for poetry composition J Toivanen, M Järvisalo, H Toivonen The Fourth International Conference on Computational Creativity, 2013	58	2013
Do-calculus when the True Graph Is Unknown. A Hyttinen, F Eberhardt, M Järvisalo UAI, 395-404, 2015	55	2015
Limitations of restricted branching in clause learning M Järvisalo, T Junttila Constraints 14, 325-356, 2009	55	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