Jeremias Berg (Preferred)
Jeremias Berg
Principal Researcher, Department of Computer Science, University of Helsinki
Joined
February 2024
Names
Emails
****@helsinki.fi (Confirmed)
****@gmail.com
Personal Links
Career & Education History
Principal Researcher
Department of Computer Science, University of Helsinki (helsinki.fi)
2024 – 2028
Postdoc
Department of Computer Science, University of Helsinki (helsinki.fi)
2018 – 2024
PhD student
Department of Computer Science, University of Helsinki (helsinki.fi)
2015 – 2018
Advisors, Relations & Conflicts
Expertise
Pseudo-Boolean Optimization
2019 – 2024
Combinatorial Optimization
2015 – 2024
Constraint Optimization
2015 – 2024
Maximum Satisfiability
2015 – 2024
proof logging
2015 – 2024
Publications
Co-Authors
- Alex Poole
- Andreas Niskanen
- Andy Oertel
- Antti Hyttinen
- Bart Bogaerts
- Brandon M. Malone
- Christoph Jabs
- Dieter Vandesande
- Emilia Oikarinen
- Emir Demirovic
- Fahiem Bacchus
- Graeme Gange
- Hannes Ihalainen
- Jaakko Peltonen
- Jakob Nordström
- Jere Mustonen
- Kai Puolamäki
- Kerstin Bunte
- Marcus Leivo
- Markus Iser
- Matti Järvisalo
- Paul Saikko
- Pavel Smirnov
- Peter J. Stuckey
- Petri Myllymäki