Digricoli, Vincent J.

4 publications

IJCAI 1989 And-or Graphs Applied to RUE Resolution Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian

IJCAI 1985 The Management of Heuristic Search in Boolean Experiments with Rue Resolution Vincent J. Digricoli

IJCAI 1981 The Efficacy of RUE Resolution Experimental Results and Heuristic Theory Vincent J. Digricoli

AAAI 1980 First Experiments with Rue Automated Deduction Vincent J. Digricoli