1994 |
7 | | Vincent J. Digricoli:
The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems.
J. Autom. Reasoning 12(2): 241-264 (1994) |
1992 |
6 | | Vincent J. Digricoli,
Eugene Kochendorfer:
LIM+ Challenge Problems by RUE Hyper-Resolution.
CADE 1992: 239-252 |
1989 |
5 | | Vincent J. Digricoli,
James J. Lu,
V. S. Subrahmanian:
And-Or Graphs Applied to RUE Resolution.
IJCAI 1989: 354-358 |
1986 |
4 | EE | Vincent J. Digricoli,
Malcolm C. Harrison:
Equality-based binary resolution.
J. ACM 33(2): 253-289 (1986) |
1985 |
3 | | Vincent J. Digricoli:
The Management of Heuristic Search in Boolean Experiments with Rue Resolution.
IJCAI 1985: 1154-1161 |
1981 |
2 | | Vincent J. Digricoli:
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory.
IJCAI 1981: 539-547 |
1980 |
1 | | Vincent J. Digricoli:
First Experiments with Rue Automated Deduction.
AAAI 1980: 96-98 |