Guoqiang Pan

According to our database, Guoqiang Pan authored at least 10 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

V2PNet: Voxel-to-Point Feature Propagation and Fusion That Improves Feature Representation for Point Cloud Registration.

Han Hu, Yongkuo Hou, Yulin Ding, Guoqiang Pan, Min Chen, Xuming Ge

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

2006

BDD-based decision procedures for the modal logic K.

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi

J. Appl. Non Class. Logics, 2006

Fixed-Parameter Hierarchies inside PSPACE.

Guoqiang Pan, Moshe Y. Vardi

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Symbolic Techniques in Satisfiability Solving.

Guoqiang Pan, Moshe Y. Vardi

J. Autom. Reason., 2005

Treewidth in Verification: Local vs. Global.

Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi

Proceedings of the Logic for Programming, 2005

2004

Search vs. Symbolic Techniques in Satisfiability Solving.

Guoqiang Pan, Moshe Y. Vardi

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

Projection Pushing Revisited.

Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi

Proceedings of the Advances in Database Technology, 2004

Symbolic Decision Procedures for QBF.

Guoqiang Pan, Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Optimizing a BDD-Based Modal Solver.

Guoqiang Pan, Moshe Y. Vardi

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

BDD-Based Decision Procedures for K.

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi

Proceedings of the Automated Deduction, 2002