Category Archives: Other

Packing Squares into Rectangles

This is is a benchmark problem suggested by Richard Korf. The task is to pack all squares of sizes 1×1 to NxN into the smallest possible rectangle, i.e. into a rectangle with minimal surface. As the problem size increases, this … Continue reading

Posted in 2008, benchmark, CP Conference, Other, puzzle, SICStus Prolog | 3 Comments


This is the mother of all constraint applications :-). If you understand how humans solve Sudoku puzzles, then you understand how computers solve finite domain constraint programs. A Sudoku puzzle is typically presented as a 9×9 grid, with some cells … Continue reading

Posted in 2005, ECLiPSe, ModRef Workshop, Other, puzzle | Tagged , , , | Leave a comment