DOI10.1016/S0167-6423(97)00012-9zbMath0895.68120MaRDI QIDQ1380133
J. Ning
Publication date: 8 September 1998 Published in: Science of Computer Programming (Search for Journal in Brave)
zbMATH Keywords
consistency techniques
Mathematics Subject Classification ID
68W10: Parallel algorithms in computer science
68T01: General topics in artificial intelligence