The automated solution of logic puzzles

Mark Valentine, Robert H. Davis

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)317-324
Number of pages8
JournalInformation Processing Letters
Volume24
Issue number5
Publication statusPublished - 16 Mar 1987

Keywords

  • Logic puzzle

Cite this