Ralph W. Wilkerson

21 papers A 2B 2Misc 9Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2007 A conf
SNDL-MOEA: stored non-domination level MOEA.
GECCO
Matt D. Johnson, Daniel R. Tauritz, Ralph W. Wilkerson
1998 Misc conf
Parallel genetic algorithm to solve the satisfiability problem.
SAC
Nicole Nemer-Preece, Ralph W. Wilkerson
1997 Misc conf
Direct finite first-order model generation with negative constraint propagation heuristic.
SAC
Olga Shumsky, Ralph W. Wilkerson, William McCune, Fikret Erçal
1996 Misc conf
R-by-C Crozzle: an NP-hard problem.
SAC
Michelle Gower, Ralph W. Wilkerson
1995 Misc conf
A Fast Maze Routing Algorithm on Reconfigurable Meshes.
PDPTA
Hsi-Chieh Lee, Fikret Erçal, Ralph W. Wilkerson
1994 Misc conf
Conjugating polynomials on finite rings.
SAC
Matt Insall, L. Mullin, Ralph W. Wilkerson
1993 Misc conf
A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function.
SAC
Richard Rankin, Ralph W. Wilkerson, Geoff Harris, Jo Spring
1993 Misc conf
Finding Fixed Point Combinators Using Prolog.
SAC
Richard Rankin, Ralph W. Wilkerson
1992 Misc conf
Experimentation with proof methods for non-Horn sets.
SAC
Chris Merz, Ralph W. Wilkerson
1992 Misc conf
Proving functionally difficult problems through model generation.
SAC
Richard Rankin, Ralph W. Wilkerson
1991 — conf
Termination via conditional reductions.
ACM Conference on Computer Science
Timothy B. Baird, Ralph W. Wilkerson
1990 B conf
An expert system to convert knowledge-based geological engineering systems into Fortran.
COMPSAC
Jill J. Cress, Ralph W. Wilkerson
1990 — conf
The Role of Term Symmetry in E-Completion Procedures.
ACM Conference on Computer Science
Ralph W. Wilkerson, Blayne E. Mayfield
1989 J jnl
A Correction to the Algorithm in Reiter's Theory of Diagnosis.
Artif. Intell.
Russell Greiner, Barbara A. Smith, Ralph W. Wilkerson
1989 — conf
Complete Sets of Reductions Modulo Associativity, Commutativity and Identity.
RTA
Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson
1989 B conf
Expectations for associative-commutative unification speedups in a multicomputer environment.
COMPSAC
Ralph W. Wilkerson, Bruce M. McMillin
1988 — conf
Automated Circuit Diagnosis Using First Order Logic Tools.
IEA/AIE (Vol. 1)
Barbara A. Smith, Ralph W. Wilkerson, Gerald E. Peterson
1987 A conf
A logic programming model of the game of sprouts.
SIGCSE
Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson
1987 — conf
A routing algorithm for three stage rearrangeable Clos networks.
ACM Conference on Computer Science
Ralph W. Wilkerson
1987 — conf
A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation.
ACM Conference on Computer Science
Herbert H. Snyder, Ralph W. Wilkerson
1984 — conf
Symbolic Computation and the Dirichlet Problem.
EUROSAM
Ralph W. Wilkerson