Guoqiang Pan

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 1

Publications

Han Hu, Yongkuo Hou, Yulin Ding, Guoqiang Pan, Min Chen, Xuming Ge
V2PNet: Voxel-to-Point Feature Propagation and Fusion That Improves Feature Representation for Point Cloud Registration. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16 (2023)
Guoqiang Pan, Moshe Y. Vardi
Fixed-Parameter Hierarchies inside PSPACE. LICS (2006)
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
BDD-based decision procedures for the modal logic K. J. Appl. Non Class. Logics 16 (1-2) (2006)
Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi
Treewidth in Verification: Local vs. Global. LPAR (2005)
Guoqiang Pan, Moshe Y. Vardi
Symbolic Techniques in Satisfiability Solving. J. Autom. Reason. 35 (1-3) (2005)
Guoqiang Pan, Moshe Y. Vardi
Symbolic Decision Procedures for QBF. CP (2004)
Guoqiang Pan, Moshe Y. Vardi
Search vs. Symbolic Techniques in Satisfiability Solving. SAT (2004)
Guoqiang Pan, Moshe Y. Vardi
Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers (2004)
Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi
Projection Pushing Revisited. EDBT (2004)
Guoqiang Pan, Moshe Y. Vardi
Optimizing a BDD-Based Modal Solver. CADE (2003)
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
BDD-Based Decision Procedures for K. CADE (2002)