( en | de | ru )

 

Disambiguierung von "Zhu, Yunshan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , und . DAC, Seite 317-320. ACM Press, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yiping Zhu

Yongming Zhu

Changbao Zhu

Junjiang Zhu

Zhu Dai

 

Weitere Publikationen von Autoren mit dem selben Namen

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