IP modeling and the logical puzzles of Raymond Smullyan

The ability to include logical conditions within Integer Programming (IP) models has many applications in OR/MS. Although the modeling of logical conditions in IP is simple in principle, in actual practice the exercise can be quite painstaking and prone to error. To become adept therefore it is necessary for practitioners to be well drilled. This paper presents the puzzles of Raymond Smullyan as a rich source of examples for the instructor that offer all the pedagogical features of more conventional text book examples but with added flavors of whimsy and caprice.