Can I read IP Models Using Smullyan on EtoBox?

IP Models Using Smullyan by AbelCastro is a document available to read on EtoBox.

What is IP Models Using Smullyan about?

The document discusses using integer programming to model and solve logical puzzles created by Raymond Smullyan. It presents two "werewolf" puzzles involving knights, knaves and werewolves that can be modeled using 0-1 indicator variables to represent truths. A more complex puzzle from "Ladies or Tigers" involving nine rooms with signs is also modeled. The modeling techniques of indicator variables and logical constraints allow representing logical relationships to find solutions consistent with the conditi

Author

AbelCastro

Language

EN