The automated solution of logic puzzles

Mark Valentine, Robert H. Davis

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	317-324
Number of pages	8
Journal	Information Processing Letters
Volume	24
Issue number	5
Publication status	Published - 16 Mar 1987

Keywords

@article{1c509181b6be4a2e80da84ef116c45ab,

title = "The automated solution of logic puzzles",

keywords = "Logic puzzle",

author = "Mark Valentine and Davis, {Robert H.}",

year = "1987",

month = mar,

day = "16",

language = "English",

volume = "24",

pages = "317--324",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "5",

}