Maximilian Heisinger (Preferred)
Maximilian Heisinger
Postdoc, Natural and Engineering Sciences, Johannes Kepler Universität Linz
Joined
March 2025
Names
Emails
****@jku.at (Confirmed)
****@maxheisinger.at (Confirmed)
Personal Links
Career & Education History
Postdoc
Natural and Engineering Sciences, Johannes Kepler Universität Linz (jku.at)
2024 – Present
Advisors, Relations & Conflicts
Expertise
symbolic ai
, sat
, qbf
, encodings
, parallel solving
2020 – Present
Publications
Co-Authors
- Adrian Rebola-Pardo
- Andreas Plank
- Armin Biere
- Clemens Hofstadler
- David Leopoldseder
- Erich Kobler
- Florian Piminger
- Hanspeter Mössenböck
- Irfansha Shaik
- Jaco van de Pol
- Lukas Stadler
- Mark Peyrer
- Martina Seidl
- Mathias Fleury
- Mykyta Ielanskyi
- Paulius Skaisgiris
- Sebastian Kloibhofer
- Simone Heisinger
- Thomas Pammer
- Thomas Pointhuber
- Veronika Semmelrock