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.
Davis, Robert Hunter ; Valentine, M. / The Automated Solution to Logic Puzzles. In: Information Processing Letters. 1987 ; Vol. 24. pp. 317-325.
@article{8ab3919a42c44752a3391862fe025674,
title = "The Automated Solution to Logic Puzzles",
author = "Davis, {Robert Hunter} and M. Valentine",
year = "1987",
month = "3",
language = "English",
volume = "24",
pages = "317--325",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",

}

Davis, RH & Valentine, M 1987, 'The Automated Solution to Logic Puzzles', Information Processing Letters, vol. 24, pp. 317-325.

The Automated Solution to Logic Puzzles. / Davis, Robert Hunter; Valentine, M.

In: Information Processing Letters, Vol. 24, 03.1987, p. 317-325.

Research output: Contribution to journalArticle

TY - JOUR

T1 - The Automated Solution to Logic Puzzles

AU - Davis, Robert Hunter

AU - Valentine, M.

PY - 1987/3

Y1 - 1987/3

M3 - Article

VL - 24

SP - 317

EP - 325

JO - Information Processing Letters

JF - Information Processing Letters

SN - 0020-0190

ER -

Davis RH, Valentine M. The Automated Solution to Logic Puzzles. Information Processing Letters. 1987 Mar;24:317-325.