The Automated Solution to Logic Puzzles

Robert Hunter Davis, M. Valentine

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)317-325
Number of pages9
JournalInformation Processing Letters
Volume24
Publication statusPublished - Mar 1987

Cite this

Davis, R. H., & Valentine, M. (1987). The Automated Solution to Logic Puzzles. Information Processing Letters, 24, 317-325.