Generating and solving the Lights Out! game in first order logic

Full citation

"Generating and solving the Lights Out! game in first order logic", Borbála Fazakas, Beáta Keresztes, Adrian Groza, IEEE 18th International Conference on Intelligent Computer Communication and Processing (ICCP '22), DOI: , 2022.