REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR AND PARALLELISM IN LOGIC PROGRAMS
| Publication | Article in Parallel Processing Letters, published March 1992 |
|---|---|
| Authors | DO-HYUNG KIM, KWANG-MOO CHOE, TAISOOK HAN |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…