Automated reasoning contributes to mathematics and logic | 18 | 3.53 | 1990 |
The problem of finding and inference rule for set theory | 5 | 0.47 | 1989 |
The problem of guaranteeing the existence of a complete set of reductions | 0 | 0.34 | 1989 |
The problem of determining the size of a complete set of reductions | 0 | 0.34 | 1989 |
Negative paramodulation | 5 | 0.70 | 1986 |
Job-shop scheduling using automated reasoning: a case study of the car-sequencing problem | 47 | 8.58 | 1986 |
What is automated reasoning? | 0 | 0.34 | 1985 |
A new use of an automated reasoning assistant: open questions in equivalential calculus and the study of infinite domains | 24 | 8.21 | 1984 |
Automated reasoning: real uses and potential uses | 4 | 1.40 | 1983 |
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra | 12 | 5.79 | 1978 |