From post

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.

 

Другие публикации лиц с тем же именем

Implementation of sequence BDDs in Erlang., , и . Erlang Workshop, стр. 90-91. ACM, (2011)Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP)., и . JSAI-isAI Workshops, том 7258 из Lecture Notes in Computer Science, стр. 184-185. Springer, (2011)Arithmetic Boolean Expression Manipulator Using BDDs., и . Formal Methods Syst. Des., 10 (2/3): 221-242 (1997)Synthesis of Semi-Classical Quantum Circuits., , и . J. Multiple Valued Log. Soft Comput., 18 (1): 99-114 (2012)Techniques of BDD/ZDD: Brief History and Recent Activity.. IEICE Trans. Inf. Syst., 96-D (7): 1419-1429 (2013)Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation., , и . DAC, стр. 52-57. IEEE Computer Society Press, (1990)Optimizing Network Reliability via Best-First Search over Decision Diagrams., , , , и . INFOCOM, стр. 1817-1825. IEEE, (2018)Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams., , и . COCOA, том 11346 из Lecture Notes in Computer Science, стр. 281-295. Springer, (2018)A Complete Library of Cross-Bar Gate Logic with Three Control Inputs., и . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 107 (3): 566-574 (2024)Enumeration of Associative Magic Squares of Order 7., и . J. Inf. Process., (2020)