Application of Model Search to Lattices

Michael Rose and Kristin Wilkinson
August 2001

This page contains data files referred to in an article (of the same name) in the August 2001 issue of the Association for Automated Reasonging Newsletter.

Here is a PDF version of the article.

The model-searching programs used in the work are MACE 2.0 and SEM 1.7. Also, the theorem prover EQP 0.9 was used.

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 of Argonne National Laboratory.