Primoz Sparl. When Theoretical Results and Computer Power Join Forces (invited paper). In Brona Brejová, Lucie Ciencialová, Martin Holena, Róbert Jajcay, Tatiana Jajcayová, Matej Lexa, Frantisek Mráz, Dana Pardubská, Martin Plátek, editors, Proceedings of the 23rd Conference Information Technologies - Applications and Theory (ITAT 2023), Tatranské Matliare, Slovakia, September 22-26, 2023. Volume 3498 of CEUR Workshop Proceedings, pages 7, CEUR-WS.org, 2023. [doi]
Abstract is missing.