@misc{LoefflerLiuHofstedt2020, author = {Sven L{\"o}ffler and Ke Liu and Petra Hofstedt}, title = {Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach}, booktitle = {Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta}, editor = {Ana Paula Rocha and Luc Steels and Jaap van den Herik}, isbn = {978-989-758-395-7}, doi = {10.5220/0008880403310338}, url = {https://www.scitepress.org/Link.aspx?doi=10.5220/0008880403310338}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {331 -- 338}, year = {2020}, }