#booleansatisfiability — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #booleansatisfiability, aggregated by home.social.
-
Last week, I presented the work I did with prof. Kuldeep Meel and prof. Arunabha Sen at IJCAI 2023.
We showed the benefits of reducing a problem to a computationally harder problem (yes, you read that right!), by demonstrating how it allows us to solve much larger problem instances.
It was so much fun to finally share this work with so many fantastic researchers at IJCAI! Thank you to all organisers for making this conference possible. I'm also super grateful to the reviewers who gave us great feedback!
Please find our paper, slides, poster, a short video, and our open source tool, gismo, here: www.annalatour.nl/publication/2023-08-01-Solving-the-Identifying-Code-Set-Problem-with-Grouped-Independent-Support
#IJCAI2023 #IJCAI #AcademicMastodon #FOSS #PostdocLife #ConstraintProgramming #BooleanSatisfiability #Complexity #AcademicChatter #OpenSource #OpenSourceSoftware
-
Last week, I presented the work I did with prof. Kuldeep Meel and prof. Arunabha Sen at IJCAI 2023.
We showed the benefits of reducing a problem to a computationally harder problem (yes, you read that right!), by demonstrating how it allows us to solve much larger problem instances.
It was so much fun to finally share this work with so many fantastic researchers at IJCAI! Thank you to all organisers for making this conference possible. I'm also super grateful to the reviewers who gave us great feedback!
Please find our paper, slides, poster, a short video, and our open source tool, gismo, here: www.annalatour.nl/publication/2023-08-01-Solving-the-Identifying-Code-Set-Problem-with-Grouped-Independent-Support
#IJCAI2023 #IJCAI #AcademicMastodon #FOSS #PostdocLife #ConstraintProgramming #BooleanSatisfiability #Complexity #AcademicChatter #OpenSource #OpenSourceSoftware
-
CW: Shameless promo of my talk
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
poster: https://raw.githubusercontent.com/latower/latower.github.io/master/files/posters/LatEtAl23.pdf
#IJCAI2023 #IJCAI #PostdocLife #BooleanSatisfiability #ConstraintProgramming #CombinatorialOptimisation #ConstraintOptimisation #AcademicMastodon #AcademicChatter
-
CW: Shameless promo of my talk
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
poster: https://raw.githubusercontent.com/latower/latower.github.io/master/files/posters/LatEtAl23.pdf
#IJCAI2023 #IJCAI #PostdocLife #BooleanSatisfiability #ConstraintProgramming #CombinatorialOptimisation #ConstraintOptimisation #AcademicMastodon #AcademicChatter
-
CW: Academic poster design advice?
Hi fellow academics! I was wondering if y'all can give me some feedback on the poster I am working on for IJCAI (https://ijcai-23.org/)? I'm playing a bit with the design and how to make it attractive.
I'm attaching two screenshots. My questions are about the big eye-catcher in the middle. If you have a minute, can you please let me know what you think?
1. Do you get the reference?
2. Does the effort to make the reference distract you?
3. Do you think that the text in the big pink box has NSFW vibes?
4. Does the text in the big pink box help to pique your interest in the poster?Thanks!
#AcademicMastodon #conference #IJCAI #IJCAI2023 #BooleanSatisfiability #AI #ArtificialIntelligence #NetworkScience #LaTeX #poster #AcademicChatter #ConstraintOptimisation #ConstraintProgramming #GraphicDesignIsMyPassion #PostdocLife
-
CW: Academic poster design advice?
Hi fellow academics! I was wondering if y'all can give me some feedback on the poster I am working on for IJCAI (https://ijcai-23.org/)? I'm playing a bit with the design and how to make it attractive.
I'm attaching two screenshots. My questions are about the big eye-catcher in the middle. If you have a minute, can you please let me know what you think?
1. Do you get the reference?
2. Does the effort to make the reference distract you?
3. Do you think that the text in the big pink box has NSFW vibes?
4. Does the text in the big pink box help to pique your interest in the poster?Thanks!
#AcademicMastodon #conference #IJCAI #IJCAI2023 #BooleanSatisfiability #AI #ArtificialIntelligence #NetworkScience #LaTeX #poster #AcademicChatter #ConstraintOptimisation #ConstraintProgramming #GraphicDesignIsMyPassion #PostdocLife
-
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
-
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