( en | de | ru )

 

Disambiguation of "Egorov, Sergey"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient LTL compilation for SAT-based model checking.

, , , , and . ICCAD, page 877-884. IEEE Computer Society, (2005)

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.

Fedor Egorov

Venedikt Egorov

Alexei Egorov

Oleg Egorov

Eugen Egorov

 

Other publications of authors with the same name

Construction of Length and Rate Adaptive MET QC-LDPC Codes by Cyclic Group Decomposition., , and . EWDTS, page 1-5. IEEE, (2019)A modified Blahut algorithm for decoding Reed-Solomon codes beyond half the minimum distance., , and . IEEE Trans. Commun., 52 (12): 2052-2056 (2004)Topology-Aware Exploration of Energy-Based Models Equilibrium: Toric QC-LDPC Codes and Hyperbolic MET QC-LDPC Codes., , and . CoRR, (2024)A list decoding algorithm for practical reed-solomon codes.. EWDTS, page 1-4. IEEE Computer Society, (2013)Modelling of flexible manufacturing systems., , , , , and . Int. J. Manuf. Technol. Manag., 34 (3): 245-258 (2020)Hyper Neural Network as the Diffeomorphic Domain for Short Code Soft Decision Beyound Belief Propagation Decoding Problem., and . EWDTS, page 1-6. IEEE, (2020)Efficient LTL compilation for SAT-based model checking., , , , and . ICCAD, page 877-884. IEEE Computer Society, (2005)An algorithm for t+1 error correction in Reed-Solomon codes., and . ICC, page 651-655. IEEE, (2004)Spherical and Hyperbolic Toric Topology-Based Codes On Graph Embedding for Ising MRF Models: Classical and Quantum Topology Machine Learning., , and . CoRR, (2023)The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results., , , , , , , , , and 5 other author(s). PaCT, volume 1662 of Lecture Notes in Computer Science, page 186-193. Springer, (1999)