Search the dblp DataBase
Vincent J. Digricoli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Vincent J. Digricoli
First Experiments with Rue Automated Deduction. [Citation Graph (0, 0)][DBLP]
AAAI, 1980, pp:96-98 [Conf] - Vincent J. Digricoli, Eugene Kochendorfer
LIM+ Challenge Problems by RUE Hyper-Resolution. [Citation Graph (0, 0)][DBLP]
CADE, 1992, pp:239-252 [Conf] - Vincent J. Digricoli
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. [Citation Graph (0, 0)][DBLP]
IJCAI, 1981, pp:539-547 [Conf] - Vincent J. Digricoli
The Management of Heuristic Search in Boolean Experiments with Rue Resolution. [Citation Graph (0, 0)][DBLP]
IJCAI, 1985, pp:1154-1161 [Conf] - Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian
And-Or Graphs Applied to RUE Resolution. [Citation Graph (0, 0)][DBLP]
IJCAI, 1989, pp:354-358 [Conf] - Vincent J. Digricoli, Malcolm C. Harrison
Equality-based binary resolution. [Citation Graph (0, 0)][DBLP]
J. ACM, 1986, v:33, n:2, pp:253-289 [Journal] - Vincent J. Digricoli
The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1994, v:12, n:2, pp:241-264 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002