Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

IP Modeling and the Logical Puzzles of Raymond Smullyan

2003; Institute for Operations Research and the Management Sciences; Volume: 3; Issue: 3 Linguagem: Inglês

10.1287/ited.3.3.1

ISSN

1532-0545

Autores

Martin J. Chlond, Cath M. Toase,

Tópico(s)

History of Computing Technologies

Resumo

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.

Referência(s)