( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , и . DAC, стр. 317-320. ACM Press, (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.

Yiping Zhu

Yongming Zhu

Zhu Dai

Changbao Zhu

Jiani Zhu

 

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

Symbolic Model Checking Using SAT Procedures instead of BDDs., , , , и . DAC, стр. 317-320. ACM Press, (1999)Bounded model checking, , , , и . Advances in Computers, (2003)Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint., и . ISMB, стр. 285-293. AAAI, (1994)A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators., и . ICRA, стр. 3348-3353. IEEE Computer Society, (1994)Equational Reasoning using AC Constraints., и . IJCAI (1), стр. 108-113. Morgan Kaufmann, (1997)Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , и . FMCAD, том 1522 из Lecture Notes in Computer Science, стр. 369-386. Springer, (1998)Multiple State and Single State Tableaux for Combining Local and Global Model Checking., , и . Correct System Design, том 1710 из Lecture Notes in Computer Science, стр. 163-179. Springer, (1999)Symbolic Model Checking without BDDs., , , и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 193-207. Springer, (1999)Bounded Model Checking Using Satisfiability Solving., , , и . Formal Methods Syst. Des., 19 (1): 7-34 (2001)Ordered Semantic Hyper Linking., и . AAAI/IAAI, стр. 472-477. AAAI Press / The MIT Press, (1997)