Exploring ILASP Through Logic Puzzles Modelling

Talissa Dreossi. Exploring ILASP Through Logic Puzzles Modelling. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Abstract

Abstract is missing.