Robbins Algebras Are Boolean
Robbins Algebras Are Boolean William McCune Automated Deduction Group Mathematics and Computer Science Division Argonne National Laboratory Posted on the Web October 15, 1996. Last updated February 5, 1998. These Web pages contain some information on the solution of the Robbins problem. A paper on this topic appears in the Journal of Automated Reasoning . Here is a preprint. The JAR paper has ...
|
Conferences