Author of the publication

一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver).

, , , and . 计算机科学, 46 (4): 309-314 (2019)

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.

 

Other publications of authors with the same name

A fast integer-based batch full-homomorphic encryption scheme over finite field., and . IACR Cryptology ePrint Archive, (2013)SpamResist: Making Peer-to-Peer Tagging Systems Robust to Spam., , , , , , , and . GLOBECOM, page 1-6. IEEE, (2009)Possible Quantum Paraelectric State in Kitaev Spin Liquid Candidate H$_3$LiIr$_2$O$_6$, , and . (2018)cite arxiv:1807.03092Comment: 5 pages, 5 figures.TripleAgent: Monitoring, Perturbation And Failure-obliviousness for Automated Resilience Improvement in Java Applications., and . CoRR, (2018)Existence and global exponential stability of almost periodic solution for cellular neural networks with variable coefficients and time-varying delays., , and . IEEE Trans. Neural Networks, 16 (6): 1340-1351 (2005)GML Data Management: Framework and Prototype., , , and . DASFAA Workshops, volume 6637 of Lecture Notes in Computer Science, page 101-111. Springer, (2011)Continuous Path Planning for Free-Floating Space Manipulator Based on Genetic Algorithm.. ICIRA (6), volume 11745 of Lecture Notes in Computer Science, page 146-153. Springer, (2019)An Online Automatic Calibration Method Based on Feature Descriptor for Non-Overlapping Multi-Camera Systems., , , , and . ROBIO, page 138-143. IEEE, (2018)一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver)., , , and . 计算机科学, 46 (4): 309-314 (2019)Bayesian augmented Lagrangian algorithm for system identification., , and . Syst. Control. Lett., (2018)