Presenting IndiCon at ICTAI2024
Date:
I am presenting our paper IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints at ICTAI2024. This paper is a concise preview of the final chapter of my PhD thesis, attempting to select different encodings for each individual constraint in a combinatorial problem. It will be exciting to make my first ever trip to the USA too.