McCarthy, John (1964) A Tough Nut for Proof Procedures. [Preprint]
Full text available as:
![[img]](/style/images/fileicons/application_postscript.png)
| Postscript 43Kb |
Abstract
It is well known to be impossible to tile with dominoes a checkerboard with two opposite corners deleted. This fact is readily stated in the first order predicate calculus, but the usual proof which involves a parity and counting argument does not readily translate into predicate calculus. We conjecture that this problem will be very difficult for programmed proof procedures,.
| Item Type: | Preprint |
|---|---|
| Subjects: | Computer Science > Artificial Intelligence |
| ID Code: | 414 |
| Deposited By: | McCarthy, John |
| Deposited On: | 27 Feb 1998 |
| Last Modified: | 12 Sep 2007 17:27 |
Metadata
- HTML Citation
- ASCII Citation
- EPrints Application Profile (experimental)
- ID Plus Text Citation
- OpenURL ContextObject
- EndNote
- BibTeX
- OpenURL ContextObject in Span
- MODS
- DIDL
- EP3 XML
- Dublin Core
- Reference Manager
- Eprints Application Profile
- Simple Metadata
- Refer
- METS
- Search Data Dump
Repository Staff Only: item control page
