Vincent J. Digricoli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1980–1992
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | CADE | LIM+ Challenge Problems by RUE Hyper-Resolution. | Vincent J. Digricoli, Eugene Kochendorfer |
| 1989 | IJCAI | And-Or Graphs Applied to RUE Resolution. | Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian |
| 1985 | IJCAI | The Management of Heuristic Search in Boolean Experiments with Rue Resolution. | Vincent J. Digricoli |
| 1981 | IJCAI | The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. | Vincent J. Digricoli |
| 1980 | AAAI | First Experiments with Rue Automated Deduction. | Vincent J. Digricoli |