PDF Software
PDF Experimental data
PDF (extended version) Code Experimental data
PDF Code Slides WHOOPS'24
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