maxheisinger.at homepage

I'm Max Heisinger, a Computer Scientist located in Linz, Austria, founder of the OptiKonf FlexCo and a Post-Doc at the Institute for Symbolic AI in the Johannes Kepler University Linz (JKU). I'm interested in SAT solving, QBF solving, SMT solving, variability modelling, low-level programming, and solving problems of varying scales and difficulties. On request, I am glad to consult on applied Symbolic AI and product configuration software through the OptiKonf FlexCo.

• OptiKonf FlexCo
• CV
• Publications, Teaching, Awards, and Academic Service
• Software
• Contact
• Collection of Useful Scripts and Functions

• Graph Coloring with SAT

This used to be a mix of German and English, but I transformed it to be English-only. The pages are loosely organized and their URLs are not always nice and tidy, but it works reasonably well and it is nice for authoring. The old website was built using WordPress, which turned sour once already and I wanted to put away with dynamic blogs for a while, fully embracing a static webpage.

Look through the test-page and the source code of this website if you like! You are also invited to send me patches to this website via e-mail, which I can include as comments.