Tag: model counting

Workshop on Counting and Sampling, 2021 edition

Just like last year, the International Workshop on Counting and Sampling was held online, in conjunction with the SAT conference. Just like last year, I was honoured to be invited to submit an extended abstract to this workshop.

We decided to submit an update of Jeroen’s work on caching for model counters, based on his master thesis work. It was accepted, so last week Jeroen presented our work.

Zoom screenshot of Jeroen's title slide, which reads: "Caching in Model Counters: A Journey through Space and Time", by Jeroen Rook, Anna Latour, Holger Hoos and Siegfried Nijssen.

While I was naturally happy to see our work presented, I also very much enjoyed the rest of the program. It has been a while since I’ve seen so many interesting talks in a row. I particularly liked the contributions from Tuukka Korhonen and Lucas Bang.

Jeroen’s slides can be found here, and a recording of his presentation is also available online.

Thanks to the organisers! I am looking forward to attending next year’s edition!

Defence time for Jeroen

I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.

After his presentation, Jeroen defended his work to me and his other advisers, Prof. Dr. Holger Hoos and Prof. Dr. Siegfried Nijssen. He handled our questions as well as those from the audience quite well, impressing us with his knowledge of the #P complexity class.

A preliminary version of this work was accepted at the  Workshop on Counting and Sampling 2021.