"Generating and solving the LIGHTS OUT! game in first order logic."

Borbála Fazakas, Barna Keresztes, Adrian Groza (2022)

Details and statistics

DOI: 10.1109/ICCP56966.2022.10053982

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-06

a service of  Schloss Dagstuhl - Leibniz Center for Informatics