Journal of Information Processing
Online ISSN : 1882-6652
Squaring the Square with Integer Linear Programming
Sascha Kurz
Author information
JOURNALS FREE ACCESS

Volume 20 (2012) Issue 3 Pages 680-685

Details
Download PDF (468K) Contact us
Abstract

We consider so-called “squaring the square” puzzles where a given square (or rectangle) should be dissected into smaller squares. For a specific instance of such problems we demonstrate that a mathematically rigorous solution can be quite involved. As an alternative to exhaustive enumeration using tailored algorithms we describe the general approach of formulating the problem as an integer linear program.

Information related to the author
© 2012 by the Information Processing Society of Japan
Previous article Next article

Recently visited articles
feedback
Top