| 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 | 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 | |
| 1 | Malcolm C. Harrison | [4] |
| 2 | Eugene Kochendorfer | [6] |
| 3 | James J. Lu | [5] |
| 4 | V. S. Subrahmanian | [5] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page