Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An efficient procedure for theorem proving in propositional logic on vector computers.

W. Chen, und M. Fang. Parallel Computing, 17 (9): 983-995 (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yi Wang University of Stuttgart

Seda Yilmaz University of Stuttgart

Emre Baris Yildiz University of Stuttgart

Zeynep Hazal Yilmaz University of Stuttgart

Yi-Hua Wang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure.W. Chen, und M. Fang. SC, Seite 658-665. IEEE Computer Society, (1990)Real time 3D simulation for nose surgery and automatic individual prosthesis design.J. xiao Wang, S. Liao, X. Zhu, Y. Wang, C. xiang Ling, X. Ding, Y. ming Fang, und X. hua Zhang. Computer Methods and Programs in Biomedicine, 104 (3): 472-479 (2011)An Embedding of Large Binary Trees into Hypercube Multiprocessors of Limited Size.M. Fang, und W. Chen. J. Inf. Sci. Eng., 8 (1): 105-119 (1992)An efficient procedure for theorem proving in propositional logic on vector computers.W. Chen, und M. Fang. Parallel Computing, 17 (9): 983-995 (1991)A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU.W. Chen, C. Liu, und M. Fang. ICPP (1), Seite 431-434. CRC Press, (1991)Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers.M. Fang, und W. Chen. IEEE Trans. Knowl. Data Eng., 4 (5): 475-486 (1992)Optimal Speed-Up Algorithms for Template Matching on SIMD Hypercube Multiprocessors with Restricted Local Memory.S. Horng, W. Chen, und M. Fang. Inf. Process. Lett., 38 (1): 29-37 (1991)Embedding Large Binary Trees to Hypercube Multiprocessors.M. Fang, und W. Chen. ICPP (1), Seite 714-715. CRC Press, (1991)Vectorization Techniques for Theorem Proving in Propositional Logic.W. Chen, und M. Fang. ICPP (2), Seite 229-235. Pennsylvania State University Press, (1990)0-271-00728-1.Radio Networks Predictive Control of a T-type Inverter in Wind Energy.J. jun Zhu, G. Yang, Y. Zi, und Y. ming Fang. Int. J. Online Eng., 12 (12): 38-42 (2016)