Excited to be presenting "Solving the Identifying Code Set Problem with Grouped Independent Support" at 11:45 in Almaty 6007 (CSO Constraint Programming session) today at IJCAI!

If you cannot make it to my presentation, no worries! You can check out the slides or my poster, or come talk to me during the poster session at the end of the day 🤓

paper: https://www.ijcai.org/proceedings/2023/0219.pdf

slides: https://raw.githubusercontent.com/latower/latower.github.io/master/files/slides/LatEtAl23-handout.pdf

poster: https://raw.githubusercontent.com/latower/latower.github.io/master/files/posters/LatEtAl23.pdf

#IJCAI2023 #IJCAI #PostdocLife #BooleanSatisfiability #ConstraintProgramming #CombinatorialOptimisation #ConstraintOptimisation #AcademicMastodon #AcademicChatter

Our friends at Lund University have an opening for a PhD position in TCS and/or combinatorial optimization: https://jakobnordstrom.github.io/openings/PhD-Lund-230601.html

The application deadline is June 1, 2023.

Position is in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom: "Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications."

#PhD #Job #CombinatorialOptimisation #AcademicMastodon #AcademicChatter #ComputerScience #AI #ArtificialIntelligence

Very happy that our paper "Solving the Identifying Code Set Problem with Grouped Independent Support" was accepted to IJCAI 2023!

I did this work together with Prof. Kuldeep Meel and from NUS and Prof. Arunabha Sen from ASU. It was a great pleasure to work with them, and I learned a lot from both of them during this project. We have some ideas for further research, so I hope this story is to be continued...

Shout-out and many thanks to @msoos for his last-minute help to fix a bug in the code!

This is my first accepted conference paper that I worked on without my PhD advisor Dr. Siegfried Nijssen Dr. Behrouz Babaki. It felt a little bit weird doing this without them, but I guess that's part of the job.

Many thanks to everyone who contributed to this work in conversation, encouragement, feedback, or just simply making our office a nice place to work at 🙂

If you're planning to attend IJCAI in Macau, and want to meet up, let me know!

#IJCAI #IJCAI2023 #AcademicMastodon #AcademicChatter #PostdocLife #ArtificialIntelligence #AI #CombinatorialOptimisation #BooleanSatisfiability

@cjmuise @terri Yes, the number of consecutive slipped stitches is an important constraint. The link that @terri shared contains a good summary of the constraints: https://www.pakin.org/mosaicknit/

I can imagine that you can make the patterns more interesting by allowing offset tiling, especially when knitting in the round. That could make patterns more interesting, and create an extra challenge for the modelling/encoding.

#knitting #CombinatorialOptimisation #programming