Research topics: multiprocessing algorithms for computational logic
Ewing L. Lusk, Ross Overbeek · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1984
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.