Guoqiang Pan

11 papers A* 1A 4B 2Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
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.
Han Hu, Yongkuo Hou, Yulin Ding, Guoqiang Pan, Min Chen, Xuming Ge
2006 J jnl
BDD-based decision procedures for the modal logic K.
J. Appl. Non Class. Logics
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
2006 A* conf
Fixed-Parameter Hierarchies inside PSPACE.
LICS
Guoqiang Pan, Moshe Y. Vardi
2005 J jnl
Symbolic Techniques in Satisfiability Solving.
J. Autom. Reason.
Guoqiang Pan, Moshe Y. Vardi
2005 B conf
Treewidth in Verification: Local vs. Global.
LPAR
Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi
2004 B conf
Projection Pushing Revisited.
EDBT
Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi
2004 A conf
Search vs. Symbolic Techniques in Satisfiability Solving.
SAT
Guoqiang Pan, Moshe Y. Vardi
2004 — conf
Search vs. Symbolic Techniques in Satisfiability Solving.
SAT (Selected Papers
Guoqiang Pan, Moshe Y. Vardi
2004 A conf
Symbolic Decision Procedures for QBF.
CP
Guoqiang Pan, Moshe Y. Vardi
2003 A conf
Optimizing a BDD-Based Modal Solver.
CADE
Guoqiang Pan, Moshe Y. Vardi
2002 A conf
BDD-Based Decision Procedures for K.
CADE
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi