Matti Järvisalo

Cituota

	Visi	Nuo 2019
Šaltiniai	4850	2925
h-rodyklė	38	30
i10-rodyklė	105	78

560

280

140

420

20072008200920102011201220132014201520162017201820192020202120222023202416 43 43 46 60 74 152 206 217 305 350 341 352 443 528 542 560 488

Viešas pasiekiamumas

Peržiūrėti viską

103 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Jeremias BergPostdoctoral Researcher, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Johannes Peter WallnerInstitute of Software Technology, Graz University of TechnologyPatvirtintas el. paštas ist.tugraz.at
Antti HyttinenSilo AIPatvirtintas el. paštas alumni.helsinki.fi
Armin BiereProfessor of Computer Science, University of FreiburgPatvirtintas el. paštas informatik.uni-freiburg.de
Paul SaikkoUniversity of HelsinkiPatvirtintas el. paštas cs.helsinki.fi
Anton BelovSynopsys Inc.Patvirtintas el. paštas belov-mcdowell.com
Tuomo LehtonenPostdoctoral Researcher, Aalto UniversityPatvirtintas el. paštas aalto.fi
Fahiem BacchusProfessor of Computer Science, University of TorontoPatvirtintas el. paštas cs.toronto.edu
Ruben MartinsCarnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
Tuukka KorhonenUniversity of CopenhagenPatvirtintas el. paštas di.ku.dk
Daniel Le BerreCRIL-CNRS Université d'ArtoisPatvirtintas el. paštas cril.fr
Tommi JunttilaAalto UniversityPatvirtintas el. paštas aalto.fi
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Martin SudaCzech Technical University in PraguePatvirtintas el. paštas cvut.cz
Petri MyllymakiProfessor of Computer Science, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Tomas BalyoFiluta AIPatvirtintas el. paštas filuta.ai
Markus IserKarlsruhe Institute of TechnologyPatvirtintas el. paštas kit.edu
Wolfgang DvořákTU WienPatvirtintas el. paštas tuwien.ac.at

Stebėti

Matti Järvisalo

Professor, University of Helsinki

Patvirtintas el. paštas helsinki.fi - Pagrindinis puslapis

Automated reasoning optimization knowledge representation SAT #UnivHelsinkiCS


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Inprocessing Rules M Järvisalo, M Heule, A Biere Proceedings of the 6th International Joint Conference on Automated Reasoning …, 2012	288	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	87	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	83	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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai