Matti Järvisalo

Dikutip oleh

	Semua	Sejak 2020
Kutipan	5127	2841
indeks-h	40	29
indeks-i10	112	76

680

340

170

510

200720082009201020112012201320142015201620172018201920202021202220232024202516 36 42 46 60 74 160 206 216 308 351 340 357 445 529 551 563 673 73

Akses publik

Lihat semua

106 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Jeremias BergAcademy Research Fellow, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Johannes Peter WallnerGraz University of TechnologyEmail yang diverifikasi di tugraz.at
Antti HyttinenSilo AIEmail yang diverifikasi di alumni.helsinki.fi
Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
Paul SaikkoUniversity of HelsinkiEmail yang diverifikasi di cs.helsinki.fi
Tuomo LehtonenPostdoctoral Researcher, Aalto UniversityEmail yang diverifikasi di aalto.fi
Anton BelovSynopsys Inc.Email yang diverifikasi di belov-mcdowell.com
Martin SudaCzech Technical University in PragueEmail yang diverifikasi di cvut.cz
Fahiem BacchusProfessor of Computer Science, University of TorontoEmail yang diverifikasi di cs.toronto.edu
Tuukka KorhonenUniversity of CopenhagenEmail yang diverifikasi di di.ku.dk
Ruben MartinsCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Tomas BalyoFiluta AIEmail yang diverifikasi di filuta.ai
Daniel Le BerreCRIL-CNRS Université d'ArtoisEmail yang diverifikasi di cril.fr
Tommi JunttilaAalto UniversityEmail yang diverifikasi di aalto.fi
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Petri MyllymakiProfessor of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Markus IserKarlsruhe Institute of TechnologyEmail yang diverifikasi di kit.edu
Wolfgang DvořákTU WienEmail yang diverifikasi di tuwien.ac.at

Ikuti

Matti Järvisalo

Professor of Computer Science, University of Helsinki

Email yang diverifikasi di helsinki.fi - Beranda

Automated reasoning SAT optimization knowledge representation #UnivHelsinkiCS


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Inprocessing Rules M Järvisalo, M Heule, A Biere Proceedings of the 6th International Joint Conference on Automated Reasoning …, 2012	299	2012
The International SAT Solver Competitions M Järvisalo, D Le Berre, O Roussel, L Simon AI Magazine 33 (1), 89-92, 2012	231	2012
Blocked clause elimination M Järvisalo, A Biere, M Heule International conference on tools and algorithms for the construction and …, 2010	191	2010
Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. A Hyttinen, F Eberhardt, M Järvisalo UAI, 340-349, 2014	162	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	155	2012
SAT competition 2016: Recent developments T Balyo, M Heule, M Jarvisalo Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017	123	2017
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure A Hyttinen, PO Hoyer, F Eberhardt, M Jarvisalo UAI, 2013	121	2013
Clause elimination procedures for CNF formulas M Heule, M Järvisalo, A Biere Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	109	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	98	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	95	2011
Maximum satisfiabiliy F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021	94	2021
SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021	91	2021
LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016	90	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	88	2017
Acceptance in incomplete argumentation frameworks D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe Artificial Intelligence 295, 103470, 2021	76	2021
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014	76	2014
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	72	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	71	2017
Simulating Circuit-Level Simplifications on CNF M Järvisalo, A Biere, MJH Heule Journal of Automated Reasoning 49 (4), 583-619, 2012	69	2012
Preprocessing in SAT solving A Biere, M Järvisalo, B Kiesl Handbook of Satisfiability, 391-435, 2021	65	2021

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama