TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra A2 - Rocha, Ana Paula A2 - Steels, Luc A2 - Herik, Jaap van den T1 - Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach T2 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta KW - Constraint Programming Y1 - 2020 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/26419 UR - https://www.scitepress.org/Link.aspx?doi=10.5220/0008880403310338 SN - 978-989-758-395-7 SP - 331 EP - 338 PB - SciTePress CY - Setubal ER -