Application of Model Search to Lattices
Michael Rose and Kristin Wilkinson
This page contains data files referred to in an article
(of the same name) in the
August 2001 issue
Association for Automated Reasonging
Here is a
PDF version of the article.
The model-searching programs used in the work are
Also, the theorem prover
To see how these jobs were run, you can take a look at this
UNIX shell script.
These activities are projects of the
Mathematics and Computer Science Division
Argonne National Laboratory.