Jeremias Berg

Citado por

	Total	Desde 2020
Citas	863	613
Índice h	16	15
Índice i10	26	21

160

120

2014201520162017201820192020202120222023202420259 22 43 53 49 69 97 109 122 113 149 18

Acceso público

Ver todo

31 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Matti JärvisaloProfessor of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
Paul SaikkoUniversity of HelsinkiDirección de correo verificada de cs.helsinki.fi
Tuukka KorhonenUniversity of CopenhagenDirección de correo verificada de di.ku.dk
Hannes IhalainenDoctoral Researcher, University of HelsinkiDirección de correo verificada de helsinki.fi
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
Peter StuckeyFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyDirección de correo verificada de tudelft.nl
Fahiem BacchusProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Christoph JabsDoctoral Researcher, University of HelsinkiDirección de correo verificada de helsinki.fi
Andy OertelDepartment of Computer Science, Lund UniversityDirección de correo verificada de cs.lth.se
Jakob NordströmUniversity of Copenhagen and Lund UniversityDirección de correo verificada de di.ku.dk
Bart BogaertsResearch Professor, DTAI lab, Department of Computer Science, KU LeuvenDirección de correo verificada de kuleuven.be
Antti HyttinenSilo AIDirección de correo verificada de alumni.helsinki.fi
Kerstin BunteRosalind Franklin Fellow at the University of GroningenDirección de correo verificada de rug.nl
Graeme GangeMonash UniversityDirección de correo verificada de monash.edu
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiDirección de correo verificada de helsinki.fi
Kai PuolamäkiProfessor, University of Helsinki, FinlandDirección de correo verificada de helsinki.fi
Brandon MaloneNEC Laboratories Europe

Seguir

Jeremias Berg

Academy Research Fellow, University of Helsinki

Dirección de correo verificada de helsinki.fi - Página principal

Artificial Intelligence Constraint Optimization Boolean Optimization Maximum Satisfiability


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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
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
Core-boosted linear search for incomplete MaxSAT J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2019	70	2019
MaxSAT evaluation 2020: solver and benchmark descriptions F Bacchus, J Berg, M Järvisalo, R Martins Department of Computer Science, University of Helsinki, 2020	61	2020
SAT-based approaches to treewidth computation: An evaluation J Berg, M Järvisalo 2014 IEEE 26th international conference on tools with artificial …, 2014	44	2014
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability J Berg, M Järvisalo Artificial Intelligence 244, 110-142, 2017	43	2017
MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017	42	2017
Applications of MaxSAT in data analysis OJ Berg, AJ Hyttinen, MJ Järvisalo International Conferences on Theory and Applications of Satisfiability …, 2019	37	2019
Abstract cores in implicit hitting set MaxSat solving J Berg, F Bacchus, A Poole Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020	35	2020
Weight-aware core extraction in SAT-based MaxSAT solving J Berg, M Järvisalo International Conference on Principles and Practice of Constraint …, 2017	30	2017
Certified core-guided MaxSAT solving J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande International Conference on Automated Deduction, 1-22, 2023	25	2023
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. J Berg, P Saikko, M Järvisalo IJCAI, 239-245, 2015	25	2015
Optimal neighborhood preserving visualization by maximum satisfiability K Bunte, M Järvisalo, J Berg, P Myllymäki, J Peltonen, S Kaski Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	24	2014
Optimal correlation clustering via MaxSAT J Berg, M Järvisalo 2013 IEEE 13th international conference on data mining workshops, 750-757, 2013	23	2013
Core-guided and core-boosted search for CP G Gange, J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2020	19	2020
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté--Todinca Algorithm T Korhonen, J Berg, M Järvisalo Journal of Experimental Algorithmics (JEA) 24, 1-19, 2019	19	2019
Improvements to the implicit hitting set approach to pseudo-boolean optimization P Smirnov, J Berg, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2022	16	2022
Clause redundancy and preprocessing in maximum satisfiability H Ihalainen, J Berg, M Järvisalo International Joint Conference on Automated Reasoning, 75-94, 2022	15	2022
Unifying reasoning and core-guided search for maximum satisfiability J Berg, M Järvisalo Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019	15	2019
Subsumed label elimination for maximum satisfiability J Berg, P Saikko, M Järvisalo ECAI 2016, 630-638, 2016	14	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores