Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs

Vikram A. Saletore, Laxmikant V. Kalé. Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs. In NACLP. pages 390-406, 1989.

@inproceedings{SaletoreK89,
  title = {Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs},
  author = {Vikram A. Saletore and Laxmikant V. Kalé},
  year = {1989},
  tags = {parallel programming, logic programming, logic},
  researchr = {https://researchr.org/publication/SaletoreK89},
  cites = {0},
  citedby = {0},
  pages = {390-406},
  booktitle = {NACLP},
}