dblp.uni-trier.dewww.uni-trier.de

Ralph W. Wilkerson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
15EEMatt D. Johnson, Daniel R. Tauritz, Ralph W. Wilkerson: SNDL-MOEA: stored non-domination level MOEA. GECCO 2007: 837-844
1998
14EENicole Nemer-Preece, Ralph W. Wilkerson: Parallel genetic algorithm to solve the satisfiability problem. SAC 1998: 23-28
1997
13EEOlga Shumsky, Ralph W. Wilkerson, William McCune, Fikret Erçal: Direct finite first-order model generation with negative constraint propagation heuristic. SAC 1997: 25-29
1996
12EEMichelle Gower, Ralph W. Wilkerson: R-by-C Crozzle: an NP-hard problem. SAC 1996: 73-76
1994
11EEMatt Insall, L. Mullin, Ralph W. Wilkerson: Conjugating polynomials on finite rings. SAC 1994: 277-280
1993
10EERichard Rankin, Ralph W. Wilkerson, Geoff Harris, Jo Spring: A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function. SAC 1993: 251-256
9EERichard Rankin, Ralph W. Wilkerson: Finding Fixed Point Combinators Using Prolog. SAC 1993: 604-608
1990
8EERalph W. Wilkerson, Blayne E. Mayfield: The Role of Term Symmetry in E-Completion Procedures. ACM Conference on Computer Science 1990: 134-139
1989
7 Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA 1989: 29-44
6 Russell Greiner, Barbara A. Smith, Ralph W. Wilkerson: A Correction to the Algorithm in Reiter's Theory of Diagnosis. Artif. Intell. 41(1): 79-88 (1989)
1988
5EEBarbara A. Smith, Ralph W. Wilkerson, Gerald E. Peterson: Automated Circuit Diagnosis Using First Order Logic Tools. IEA/AIE (Vol. 1) 1988: 456-465
1987
4EEHerbert H. Snyder, Ralph W. Wilkerson: A symbolic computation method of analytic solution of the mixed Direchlet-Neumann-Robin problem for LaPlace's equation. ACM Conference on Computer Science 1987: 108-113
3EERalph W. Wilkerson: A routing algorithm for three stage rearrangeable Clos networks. ACM Conference on Computer Science 1987: 235-238
2EERalph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson: A logic programming model of the game of sprouts. SIGCSE 1987: 319-323
1984
1 Ralph W. Wilkerson: Symbolic Computation and the Dirichlet Problem. EUROSAM 1984: 59-63

Coauthor Index

1Timothy B. Baird [7]
2Ralph M. Butler (Ralph Butler) [2]
3Fikret Erçal [13]
4Michelle Gower [12]
5Russell Greiner [6]
6Geoff Harris [10]
7Matt Insall [11]
8Matt D. Johnson [15]
9Blayne E. Mayfield [8]
10William McCune [13]
11L. Mullin [11]
12Nicole Nemer-Preece [14]
13Gerald E. Peterson [5] [7]
14Richard Rankin [9] [10]
15Olga Shumsky [13]
16Barbara A. Smith [5] [6]
17Herbert H. Snyder [4]
18Jo Spring [10]
19Daniel R. Tauritz [15]
20Selden Y. Trimble [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)