( en | de | ru )

 

Disambiguation of "Nagoya, Akira"

Author of the publication

copydeleteadd this publication to your clipboard
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.

, , and . CP, volume 1713 of Lecture Notes in Computer Science, page 434-445. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Akira Hayashima

Akira Hori

Akira Satake

Akira Hayashima

Akira Yasui

 

Other publications of authors with the same name

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