More Logic Puzzle Apps Solved by Mathematical Programming

This paper considers six logic puzzles (i.e., single-player games) that are available as smartphone apps--namely Starbattle, V3ck, Monodot, Knight Moves, Circuit Scramble, and Binary Sudoku. For each puzzle, an integer linear programming formulation is presented (a MathProg implementation is availab...

Full description

Saved in:
Bibliographic Details
Published in:Transactions on education Vol. 20; no. 1; p. 49
Main Author: Hartmann, Sonke
Format: Journal Article
Language:English
Published: Institute for Operations Research and the Management Sciences 01.09.2019
Subjects:
ISSN:1532-0545, 1532-0545
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper considers six logic puzzles (i.e., single-player games) that are available as smartphone apps--namely Starbattle, V3ck, Monodot, Knight Moves, Circuit Scramble, and Binary Sudoku. For each puzzle, an integer linear programming formulation is presented (a MathProg implementation is available as well). The purpose is to provide interesting examples and exercises for teaching mathematical programming in operations research and management science lectures. The puzzles lead to a broad variety of exercises, ranging from graph models to specific constraint types such as logical and inequality constraints. Keywords: puzzle * teaching modeling
ISSN:1532-0545
1532-0545
DOI:10.1287/ited.2019.0212