Jeremias Berg

Viittaukset

	Kaikki	2020 lähtien
Sitaatit	861	611
h-indeksi	16	15
i10-indeksi	26	21

160

120

2014201520162017201820192020202120222023202420259 22 43 53 49 69 97 109 122 114 149 16

Yleisessä käytössä

Näytä kaikki

31 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Matti JärvisaloProfessor of Computer Science, University of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Paul SaikkoUniversity of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa cs.helsinki.fi
Tuukka KorhonenUniversity of CopenhagenVahvistettu sähköpostiosoite verkkotunnuksessa di.ku.dk
Hannes IhalainenDoctoral Researcher, University of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Peter StuckeyFaculty of Information Technology, Monash UniversityVahvistettu sähköpostiosoite verkkotunnuksessa monash.edu
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Fahiem BacchusProfessor of Computer Science, University of TorontoVahvistettu sähköpostiosoite verkkotunnuksessa cs.toronto.edu
Christoph JabsDoctoral Researcher, University of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Andy OertelDepartment of Computer Science, Lund UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.lth.se
Jakob NordströmUniversity of Copenhagen and Lund UniversityVahvistettu sähköpostiosoite verkkotunnuksessa di.ku.dk
Bart BogaertsResearch Professor, DTAI lab, Department of Computer Science, KU LeuvenVahvistettu sähköpostiosoite verkkotunnuksessa kuleuven.be
Antti HyttinenSilo AIVahvistettu sähköpostiosoite verkkotunnuksessa alumni.helsinki.fi
Kerstin BunteRosalind Franklin Fellow at the University of GroningenVahvistettu sähköpostiosoite verkkotunnuksessa rug.nl
Graeme GangeMonash UniversityVahvistettu sähköpostiosoite verkkotunnuksessa monash.edu
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Kai PuolamäkiProfessor, University of Helsinki, FinlandVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Brandon MaloneNEC Laboratories Europe

Seuraa

Jeremias Berg

Academy Research Fellow, University of Helsinki

Vahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi - Kotisivu

Artificial Intelligence Constraint Optimization Boolean Optimization Maximum Satisfiability


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. J Berg, P Saikko, M Järvisalo IJCAI, 239-245, 2015	25	2015
Certified core-guided MaxSAT solving J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande International Conference on Automated Deduction, 1-22, 2023	24	2023
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
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
Core-guided and core-boosted search for CP G Gange, J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2020	18	2020
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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat