Ralph W. Wilkerson

According to our database, Ralph W. Wilkerson authored at least 21 papers between 1984 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

SNDL-MOEA: stored non-domination level MOEA.

Matt D. Johnson, Daniel R. Tauritz, Ralph W. Wilkerson

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

1998

Parallel genetic algorithm to solve the satisfiability problem.

Nicole Nemer-Preece, Ralph W. Wilkerson

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1997

Direct finite first-order model generation with negative constraint propagation heuristic.

Olga Shumsky, Ralph W. Wilkerson, William McCune, Fikret Erçal

Proceedings of the 1997 ACM symposium on Applied Computing, 1997

1996

R-by-C Crozzle: an NP-hard problem.

Michelle Gower, Ralph W. Wilkerson

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1995

A Fast Maze Routing Algorithm on Reconfigurable Meshes.

Hsi-Chieh Lee, Fikret Erçal, Ralph W. Wilkerson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

1994

Conjugating polynomials on finite rings.

Matt Insall, L. Mullin, Ralph W. Wilkerson

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1993

A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function.

Richard Rankin, Ralph W. Wilkerson, Geoff Harris, Jo Spring

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

Finding Fixed Point Combinators Using Prolog.

Richard Rankin, Ralph W. Wilkerson

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

Proving functionally difficult problems through model generation.

Richard Rankin, Ralph W. Wilkerson

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Experimentation with proof methods for non-Horn sets.

Chris Merz, Ralph W. Wilkerson

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1991

Termination via conditional reductions.

Timothy B. Baird, Ralph W. Wilkerson

Proceedings of the 19th annual conference on Computer Science, 1991

1990

An expert system to convert knowledge-based geological engineering systems into Fortran.

Jill J. Cress, Ralph W. Wilkerson

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

The Role of Term Symmetry in E-Completion Procedures.

Ralph W. Wilkerson, Blayne E. Mayfield

Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1989

A Correction to the Algorithm in Reiter's Theory of Diagnosis.

Russell Greiner, Barbara A. Smith, Ralph W. Wilkerson

Artif. Intell., 1989

Complete Sets of Reductions Modulo Associativity, Commutativity and Identity.

Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Expectations for associative-commutative unification speedups in a multicomputer environment.

Ralph W. Wilkerson, Bruce M. McMillin

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

Automated Circuit Diagnosis Using First Order Logic Tools.

Barbara A. Smith, Ralph W. Wilkerson, Gerald E. Peterson

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988, 1988

1987

A logic programming model of the game of sprouts.

Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson

Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, 1987

A routing algorithm for three stage rearrangeable Clos networks.

Ralph W. Wilkerson

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation.

Herbert H. Snyder, Ralph W. Wilkerson

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1984

Symbolic Computation and the Dirichlet Problem.

Ralph W. Wilkerson

Proceedings of the EUROSAM 84, 1984