PDF Poster CakePB (verified checker)
Paper
PDF Code Slides SAT: Extended Reunion Slides NordConsNet 2023 Slides CADE-29
PDF PDF IJCAI Code Data Slides SAT+SMT 2022 slides SAT+SMT 2022 video
PDF Code
PDF