Vincent J. Digricoli

Publication Activity (10 Years)

Years Active: 1979-1994
Publications (10 Years): 0

Publications

Vincent J. Digricoli
The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems. J. Autom. Reason. 12 (2) (1994)
Vincent J. Digricoli, Eugene Kochendorfer
LIM+ Challenge Problems by RUE Hyper-Resolution. CADE (1992)
Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian
And-Or Graphs Applied to RUE Resolution. IJCAI (1989)
Vincent J. Digricoli, Malcolm C. Harrison
Equality-based binary resolution. J. ACM 33 (2) (1986)
Vincent J. Digricoli
The Management of Heuristic Search in Boolean Experiments with Rue Resolution. IJCAI (1985)
Vincent J. Digricoli
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. IJCAI (1981)
Vincent J. Digricoli
First Experiments with Rue Automated Deduction. AAAI (1980)
Vincent J. Digricoli
Automatic deduction and equality. ACM Annual Conference (1979)