![](/img/cover-not-exists.png)
REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR AND PARALLELISM IN LOGIC PROGRAMS
KIM, DO-HYUNG, CHOE, KWANG-MOO, HAN, TAISOOKVolume:
2
Language:
english
Journal:
Parallel Processing Letters
DOI:
10.1142/S0129626492000192
Date:
March, 1992
File:
PDF, 442 KB
english, 1992