REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR...

Parallel Processing Letters 1992 / 03 Vol. 2; Iss. 1

REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR AND PARALLELISM IN LOGIC PROGRAMS

KIM, DO-HYUNG, CHOE, KWANG-MOO, HAN, TAISOOK
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
2
Language:
english
Journal:
Parallel Processing Letters
DOI:
10.1142/S0129626492000192
Date:
March, 1992
File:
PDF, 442 KB
english, 1992
Conversion to is in progress
Conversion to is failed