A constraint-based approach to enigma 1225

DOI10.1016/j.camwa.2008.11.019zbMath1189.90130OpenAlexW2171373749MaRDI QIDQ979859

Barbara M. Smith, Hadrien Cambazard, Barry O'Sullivan

Publication date: 28 June 2010

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2008.11.019

zbMATH Keywords

modellingpuzzlessymmetry breakingconstraint programming

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Choco

Cites Work

• Unnamed Item
• Symmetry definitions for constraint satisfaction problems
• Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics
• Generating effective symmetry-breaking predicates for search problems

This page was built for publication: A constraint-based approach to enigma 1225