|
| Title: |
Controlling Search with meta-BRAVE |
| Author(s): |
P. Kefalas, T. Reynolds.
|
| Availability: |
|
| Keywords: |
|
| Appeared in: |
Proc. ICLP'91 Workshop in Parallel Execution of Logic Programs, A. Beaumont and G. Gupta (Eds.), Springer-Verlag, LNCS 569, 1991.
|
| Abstract: |
|
| See also : |
|
|
|
