A Constant Time Algorithm for Theorem Proving in Propositional Logic on Reconfigurable Meshes
暂无分享,去创建一个
[1] Wen-Tsuen Chen,et al. Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers , 1992, IEEE Trans. Knowl. Data Eng..
[2] Hungwen Li,et al. Connection Autonomy in SIMD Computers: A VLSI Implementation , 1989, J. Parallel Distributed Comput..
[3] Jerome Rothstein. Bus automata, brains, and mental models , 1988, IEEE Trans. Syst. Man Cybern..
[4] Dionysios I. Reisis,et al. Parallel Computations on Reconfigurable Meshes , 1993, IEEE Trans. Computers.
[5] Hungwen Li,et al. Configurational Computation: A New Computation Method on Processor Arrays with Reconfigurable Bus Systems , 1991, ICPP.
[6] Stephan Olariu,et al. Applications of Reconfigurable Meshes to Constant-Time Computations , 1993, Parallel Comput..
[7] Gen-Huey Chen,et al. Constant Time Algorithms for the Transitive Closure and Some Related Graph Problems on Processor Arrays with Reconfigurable Bus Systems , 1990, IEEE Trans. Parallel Distributed Syst..
[8] Stephan Olariu,et al. Optimal convex hull algorithms on enhanced meshes , 1993, BIT Comput. Sci. Sect..
[9] Wen-Tsuen Chen,et al. A parallel approach for theorem proving in prepositional logic , 1987, Inf. Sci..
[10] Stephan Olariu,et al. Fast computer vision algorithms for reconfigurable meshes , 1992, Proceedings Sixth International Parallel Processing Symposium.
[11] Massimo Maresca,et al. Polymorphic-Torus Architecture for Computer Vision , 1989, IEEE Trans. Pattern Anal. Mach. Intell..
[12] Wen-Tsuen Chen,et al. An efficient procedure for theorem proving in propositional logic on vector computers , 1991, Parallel Comput..