Tag Archives: research

Funding from the Academy of Finland

P.S, tomorrow i will be talking at the MIAO seminar about abstract cores. The talk will be recorded and put up on youtube later.

Today I received the very pleasant news of having been granted funding for my project “Next-generation Trustworthy Constraint Optimisation” from the Academy of Finland,
My proposal was one of the 44 post-doctoral projects that were granted funding (11% of all applications). My term as an Academy postdoctoral researcher will start this fall and continue until 2024. The full list of funded proposals can be found here.

I would like to express my sincerest gratitude toward the Academy. I am looking forward to the opportunity of realizing my (very cool) research plan!

New papers accepted

The new decade has started well for me with two accepted publications already.
The first one, Preprocessing in Incomplete MaxSAT Solving is joint work with Marcus Leivo and Matti järvisalo, and is also Marcus first publication! The paper investigates the effect that preprocessing has on the non-optimal solutions of MAxSAT instances. The paper ties  my recent work on incomplete MaxSAT solving with my earlier work on MaxSAT preprocessing and I am very excited to push this line of research further. It will be published in the proceedings of the 2020 ECAI conference. I will most likely be travelling there myself to present this work, we are also looking into proposing a tutorial for the conference.

The second paper, Core-Guided and Core-Boosted Search for CP, extends and generalises my work on incomplete MaxSAT solving to the more general finite domain constraint programming paradigm. The paper is joint work with Graeme Grange, Emir Demirovic and Peter Stuckey from Australia. I am surprised and pleased to see that our previous work on MaxSAT seems to work so well in CP solving as well. The paper will be published in the proceedings of the 2020 CPAIOR conference. I will most likely not travel there myself, but I am sure that my co-authors will do the paper justice.

I’d like to thank all my co-authors for their work, it’s been a pleasure collaborating and hopefully we can continue doing so. The papers will be added to this webpage when the publishing process is done. If you want to read them earlier, feel free to send me an e-mail.