Matti Järvisalo

Cited by

	All	Since 2018
Citations	3930	2372
h-index	34	28
i10-index	89	66

560

280

140

420

2007200820092010201120122013201420152016201720182019202020212022202317 42 30 44 63 73 156 200 213 297 364 326 351 449 508 558 176

Public access

View all

92 articles

0 articles

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
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Johannes Peter WallnerInstitute of Software Technology, Graz University of TechnologyVerified email at ist.tugraz.at
Paul SaikkoUniversity of HelsinkiVerified email at cs.helsinki.fi
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Tuomo LehtonenUniversity of HelsinkiVerified email at helsinki.fi
Tuukka KorhonenUniversity of BergenVerified email at uib.no
Adrian BalintUlm UniversityVerified email at uni-ulm.de
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiVerified email at helsinki.fi
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Petri MyllymakiProfessor of Computer Science, University of HelsinkiVerified email at helsinki.fi
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
Martin SudaCzech Technical University in PragueVerified email at cvut.cz

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	242	2012
The International SAT Solver Competitions M Järvisalo, D Le Berre, O Roussel, L Simon AI Magazine 33 (1), 89-92, 2012	209	2012
Blocked clause elimination M Järvisalo, A Biere, M Heule Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	166	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	134	2012
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. A Hyttinen, F Eberhardt, M Järvisalo UAI, 340-349, 2014	131	2014
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	106	2017
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo UAI, 2013	103	2013
Clause elimination procedures for CNF formulas M Heule, M Järvisalo, A Biere Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	98	2010
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	85	2011
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	84	2015
LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016	78	2016
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014	71	2014
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	68	2017
Simulating Circuit-Level Simplifications on CNF M Järvisalo, A Biere, MJH Heule Journal of Automated Reasoning 49 (4), 583-619, 2012	67	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	59	2005
Harnessing constraint programming for poetry composition J Toivanen, M Järvisalo, H Toivonen The Fourth International Conference on Computational Creativity, 2013	55	2013
Limitations of restricted branching in clause learning M Järvisalo, T Junttila Constraints 14, 325-356, 2009	55	2009
Do-calculus when the True Graph Is Unknown. A Hyttinen, F Eberhardt, M Järvisalo UAI, 395-404, 2015	52	2015
Overview and analysis of the SAT Challenge 2012 solver competition A Balint, A Belov, M Järvisalo, C Sinz Artificial Intelligence 223, 120-155, 2015	50	2015

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