Jeremias Berg

Dikutip oleh

	Semua	Sejak 2020
Kutipan	863	613
indeks-h	16	15
indeks-i10	26	21

160

120

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

Akses publik

Lihat semua

31 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Matti JärvisaloProfessor of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Paul SaikkoUniversity of HelsinkiEmail yang diverifikasi di cs.helsinki.fi
Tuukka KorhonenUniversity of CopenhagenEmail yang diverifikasi di di.ku.dk
Hannes IhalainenDoctoral Researcher, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Peter StuckeyFaculty of Information Technology, Monash UniversityEmail yang diverifikasi di monash.edu
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyEmail yang diverifikasi di tudelft.nl
Fahiem BacchusProfessor of Computer Science, University of TorontoEmail yang diverifikasi di cs.toronto.edu
Christoph JabsDoctoral Researcher, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Andy OertelDepartment of Computer Science, Lund UniversityEmail yang diverifikasi di cs.lth.se
Jakob NordströmUniversity of Copenhagen and Lund UniversityEmail yang diverifikasi di di.ku.dk
Bart BogaertsResearch Professor, DTAI lab, Department of Computer Science, KU LeuvenEmail yang diverifikasi di kuleuven.be
Antti HyttinenSilo AIEmail yang diverifikasi di alumni.helsinki.fi
Kerstin BunteRosalind Franklin Fellow at the University of GroningenEmail yang diverifikasi di rug.nl
Graeme GangeMonash UniversityEmail yang diverifikasi di monash.edu
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Kai PuolamäkiProfessor, University of Helsinki, FinlandEmail yang diverifikasi di helsinki.fi
Brandon MaloneNEC Laboratories Europe

Ikuti

Jeremias Berg

Academy Research Fellow, University of Helsinki

Email yang diverifikasi di helsinki.fi - Beranda

Artificial Intelligence Constraint Optimization Boolean Optimization Maximum Satisfiability


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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

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