Robert Veroff

A Bayesian Network Classification Methodology for Gene Expression Data

Paul Helman, Robert Veroff, Susan R. Atlas et al. · Journal of Computational Biology · 2004 · 75 citations

Engineering, Machine Learning, Gene Expression Profiling +19

Short Single Axioms for Boolean Algebra

William McCune, Robert Veroff, Branden Fitelson et al. · Journal of Automated Reasoning · 2002 · 66 citations

Using hints to increase the effectiveness of an automated reasoning program: Case studies

Robert Veroff · Journal of Automated Reasoning · 1996 · 61 citations

Artificial Intelligence, Reasoning, Cognitive Science +12

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Lawrence J. Henschen, Brian T. Smith, Robert Veroff et al. · Notre Dame Journal of Formal Logic · 1983 · 57 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +8

Constructive Logic with Strong Negation is a Substructural Logic. I

Matthew Spinks, Robert Veroff · Studia Logica · 2008 · 55 citations

Non-classical Logic, Engineering, Substructural Logic +6