Structure detection through automated covariance search. | 8 | 3.67 | 1990 |
Robbins algebra: conditions that make a near-boolean algebra boolean | 17 | 3.25 | 1990 |
Automated reasoning contributes to mathematics and logic | 18 | 3.53 | 1990 |
A new use of an automated reasoning assistant: open questions in equivalential calculus and the study of infinite domains | 24 | 8.21 | 1984 |
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra | 12 | 5.79 | 1978 |