Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers

Yingquan Zhou, Mike W. T. Wong, Yinghua Min. Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers. In FTCS. pages 238-247, 1995.

Abstract

Abstract is missing.