Autor der Publikation

Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation Heuristic.

, , und . IPPS/SPDP Workshops, Volume 1586 von Lecture Notes in Computer Science, Seite 709-711. Springer, (1999)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

New Methods to Find Optimal Non-Disjoint Bi-Decompositions., , und . ASP-DAC, Seite 59-68. IEEE, (1998)An efficient framework of using various decomposition methods to synthesize LUT networks and its evaluation., , und . ASP-DAC, Seite 253-258. ACM, (2000)A new method to express functional permissibilities for LUT based FPGAs and its applications., , und . ICCAD, Seite 254-261. IEEE Computer Society / ACM, (1996)Acceleration of Linear Block Code Evaluations Using New Reconfigurable Computing Approach., , und . ASP-DAC, Seite 161-164. IEEE Computer Society, (1999)Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions., , und . DATE, Seite 755-759. IEEE Computer Society, (1998)Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation., , und . CP, Volume 1713 von Lecture Notes in Computer Science, Seite 434-445. Springer, (1999)A Threshold Logic-Based Reconfigurable Logic Element with a New Programming Technology., , , und . FPL, Volume 1896 von Lecture Notes in Computer Science, Seite 665-674. Springer, (2000)Dynamically Reconfigurable Logic LSI: PCA-2., , , , , und . IEICE Trans. Inf. Syst., 87-D (8): 2011-2020 (2004)Multi-Level Optimization for Large Scale ASICS., , , und . ICCAD, Seite 564-567. IEEE Computer Society, (1990)Summation Algorithms on Constrained Reconfigurable Meshes., und . ISPAN, Seite 400-405. IEEE Computer Society, (1999)