Tag Archives: research

New Papers Accepted

I am pleased to let you know that my spring season of research ended with 4 papers accepted at FLoC 2022.
Three at the SAT conference:

  • MaxSAT-Based Bi-Objective Boolean Optimization with Christoph Jabs, Andreas Niskanen and Matti Jävisalo.
    • The paper describes a SAT-based approach for computing the pareto-front of biobjective optimization problems.
  • Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization with Pavel Smirnov and Matti Järvisalo
    • The paper describes improvements to the implicit hitting set algorithm for pseudo-Boolean optimization that we proposed in last years CP conference.
  • Incremental Maximum Satisfiability with Andreas Niskanen and Matti Järvisalo
    • The paper describes an API for implementing incremental Maximum Satisfiability as well as a solver that implements it.

And the paper Clause Redundancy and Preprocessing in Maximum Satisfiability with Hannes Ihalainen and Matti Järvisalo at the IJCAR conference.

All of the papers will be available after the camera ready deadlines have passed. Let me know if you want to get a copy of them beforehand.

I’d like to thank all of my coauthors. See you at Haifa in August.

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.