| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Guoqiang Pan Guoqiang Pan, Moshe Y. Vardi : Symbolic Decision Procedures for QBF. CP 2004 : 453-467 Benjamin J. McMahan , Guoqiang Pan, Patrick Porter , Moshe Y. Vardi : Projection Pushing Revisited. EDBT 2004 : 441-458 Guoqiang Pan, Moshe Y. Vardi : Optimizing a BDD-Based Modal Solver. CADE 2003 : 75-89 Guoqiang Pan, Ulrike Sattler , Moshe Y. Vardi : BDD-Based Decision Procedures for K. CADE 2002 : 16-30 1 [ 3 ] 2 [ 3 ] 3 [ 1 ] 4 [ 1 ] [ 2 ] [ 3 ] [ 4 ]  ©2005 Association for Computing Machinery |
