dblp.uni-trier.dewww.uni-trier.de

Vincent J. Digricoli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
6EEVincent 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
4EEVincent 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

Coauthor Index

1Malcolm C. Harrison [4]
2Eugene Kochendorfer [6]
3James J. Lu [5]
4V. S. Subrahmanian [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)