Controlling Search with Meta-Brave.
Petros Kefalas, T. J. Reynolds
VenueBICLP
Year1991
ProceedingsICLP Workshop on Parallel Execution of Logic Programs
DBLP recordconf/iclp/KefalasR91 ↗
Browse the full ICLP paper archive.
Petros Kefalas, T. J. Reynolds
Browse the full ICLP paper archive.