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.

 

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

SW_GROMACS: accelerate GROMACS on Sunway TaihuLight., , , , , , , , , и 4 other автор(ы). SC, стр. 66:1-66:14. ACM, (2019)Performance of diversity reception over fading channels with impulsive noise., и . ICASSP (4), стр. 389-392. IEEE, (2004)On diversity reception over fading channels with impulsive noise., и . GLOBECOM, стр. 3676-3680. IEEE, (2004)Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles., и . SARA, AAAI, (2009)Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors., и . SARA, AAAI, (2011)Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems., и . ISAIM, (2016)Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors., и . ICFEM, том 6447 из Lecture Notes in Computer Science, стр. 355-370. Springer, (2010)Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality., и . ICCAD, стр. 676-683. IEEE, (2014)LMFF: efficient and scalable layered materials force field on heterogeneous many-core processors., , , , , , , , , и 6 other автор(ы). SC, стр. 42. ACM, (2021)Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems., и . ISAIM, (2010)