Research Topics: Multiprocessing Algorithms for Computational Logic

摘要

It is becoming apparent that MIMD multiprocessors will become widely available over the next few years. The potential for creating high-performance computational logic systems introduces a number of interesting questions. In this report we identify some specific problems in the area of multiprocessing algorithm design for automated reasoning systems. 16 references. (ERA citation 09:042512)