The Automated Solution to Logic Puzzles

Robert Hunter Davis, M. Valentine

Research output: Contribution to journalArticlepeer-review

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

Cite this