Graduation Project: MDSE Approach to the Solving of Packing Puzzles

Software Engineering & Technology

I have descriptions (models) of many packing puzzles, stored as text files in a custom format. There is Pascal code to read/write this format, and to operate on these puzzles. In particular, there is code to analyze such puzzles and to generate C source code for dedicated efficient solvers.

The goal of this graduation project is to develop MDSE-based tools to define, analyze, and solve packing puzzles.

It is useful to look at:

• B.L.A. Tonneijk. Het puzzel-processor project : vergelijking van puzzel-algoritmen. Master's Thesis, TU/e, 1994. (In Dutch. Full Text in library)
• Zoltan Báalint. Puzzle Processor Project, Master's Thesis, Department of Computer Science, Eötvös Lórand University, Budapest, 2000.
• Erik van der Tol and Tom Verhoeff. The Puzzle Processor Project: Towards an Implementation, Nat. Lab. Unclassified Report NL-UR 2000/828, Koninklijke Philips Electronics N.V., 2001.
  [ Slides ]

Expected interests and skills: familiarity with MDSE concepts and tools; familiarity with backtracking.

Graduation period: 6 months

Graduation supervisor: dr. T. Verhoeff (T.Verhoeff@tue.nl, +31-40-247-4125)