Xindi Zhang

According to our database, Xindi Zhang authored at least 31 papers between 2017 and 2025.

Collaborative distances:

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

2025

A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow.

Zhiteng Chao, Xindi Zhang, Junying Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li

Integr., 2025

2024

Ultrasensitive Label-Free Biosensor for Triglyceride Detection Based on Exposed-Core Optical Fiber.

Xindi Zhang, Xue Zhou, Yanan Zhang, Yong Zhao, Linh Viet Nguyen, Stephen C. Warren-Smith, Xuegang Li

IEEE Trans. Instrum. Meas., 2024

Trajectory planning for airborne radar in extended target tracking based on deep reinforcement learning.

Hongyun Zhang, Hui Chen, Wenxu Zhang, Xindi Zhang

Digit. Signal Process., 2024

Embracing the Metaverse: A Survey of Virtual Reality and Augmented Reality Practices at the United States' Top One Hundred University Libraries.

Yajun Guo, Shuai Li, Xindi Zhang, Yiyang Fu, Yiming Yuan, Yanquan Liu

Coll. Res. Libr., 2024

OutfitAnyone: Ultra-high Quality Virtual Try-On for Any Clothing and Any Person.

Ke Sun, Jian Cao, Qi Wang, Linrui Tian, Xindi Zhang, Lian Zhuo, Bang Zhang, Liefeng Bo, Wenbo Zhou, Weiming Zhang, Daiheng Gao

CoRR, 2024

Revisiting Restarts of CDCL: Should the Search Information be Preserved?

Xindi Zhang, Zhihan Chen, Shaowei Cai

CoRR, 2024

A fast local search algorithm for minimum sum coloring problem on massive graphs.

Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang

Comput. Oper. Res., 2024

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.

Xindi Zhang, Bohan Li, Shaowei Cai

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver.

Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On.

Daiheng Gao, Xu Chen, Xindi Zhang, Qi Wang, Ke Sun, Bang Zhang, Liefeng Bo, Qixing Huang

Proceedings of the International Conference on 3D Vision, 2024

2023

Local Search For Satisfiability Modulo Integer Arithmetic Theories.

Shaowei Cai, Bohan Li, Xindi Zhang

ACM Trans. Comput. Log., October, 2023

RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation.

Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Mengyuan Liu, Chen Chen

CoRR, 2023

RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation.

Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Liefeng Bo, Mengyuan Liu, Chen Chen

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Better Decision Heuristics in CDCL through Local Search and Target Phases.

Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

J. Artif. Intell. Res., 2022

CycleHand: Increasing 3D Pose Estimation Ability on In-the-wild Monocular Image through Cyclic Flow.

Daiheng Gao, Xindi Zhang, Xingyu Chen, Andong Tan, Bang Zhang, Pan Pan, Ping Tan

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract).

Shaowei Cai, Xindi Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai, Bohan Li, Xindi Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Autonomous long-range drone detection system for critical infrastructure safety.

Xindi Zhang, Kusrini Kusrini

Multim. Tools Appl., 2021

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

J. Artif. Intell. Res., 2021

Deep Cooperation of CDCL and Local Search for SAT.

Shaowei Cai, Xindi Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

SCAT: Stride Consistency with Auto-regressive regressor and Transformer for hand pose estimation.

Daiheng Gao, Bang Zhang, Qi Wang, Xindi Zhang, Pan Pan, Yinghui Xu

Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Physical Security Detectors for Critical Infrastructures Against New-Age Threat of Drones and Human Intrusion.

Xindi Zhang, Krishna Chandramouli, Dusan Gabrijelcic, Theodore B. Zahariadis, Gabriele Giunta

Proceedings of the 2020 IEEE International Conference on Multimedia & Expo Workshops, 2020

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search.

Shaowei Cai, Xindi Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Real-Time Multi-Target Multi-Camera Tracking with Spatial-Temporal Information.

Xindi Zhang, Ebroul Izquierdo

Proceedings of the 2019 IEEE Visual Communications and Image Processing, 2019

Critical Infrastructure Security Against Drone Attacks Using Visual Analytics.

Xindi Zhang, Krishna Chandramouli

Proceedings of the Computer Vision Systems, 12th International Conference, 2019

Dense and Small Object Detection in UAV Vision Based on Cascade Network.

Xindi Zhang, Ebroul Izquierdo, Krishna Chandramouli

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

VisDrone-DET2019: The Vision Meets Drone Object Detection in Image Challenge Results.

Dawei Du, Yue Zhang, Zexin Wang, Zhikang Wang, Zichen Song, Ziming Liu, Liefeng Bo, Hailin Shi, Rui Zhu, Aashish Kumar, Aijin Li, Almaz Zinollayev, Anuar Askergaliyev, Arne Schumann, Binjie Mao, Pengfei Zhu, Byeongwon Lee, Chang Liu, Changrui Chen, Chunhong Pan, Chunlei Huo, Da Yu, Dechun Cong, Dening Zeng, Dheeraj Reddy Pailla, Di Li, Longyin Wen, Dong Wang, Donghyeon Cho, Dongyu Zhang, Furui Bai, George Jose, Guangyu Gao, Guizhong Liu, Haitao Xiong, Hao Qi, Haoran Wang, Xiao Bian, Heqian Qiu, Hongliang Li, Huchuan Lu, Ildoo Kim, Jaekyum Kim, Jane Shen, Jihoon Lee, Jing Ge, Jingjing Xu, Jingkai Zhou, Haibin Ling, Jonas Meier, Jun Won Choi, Junhao Hu, Junyi Zhang, Junying Huang, Kaiqi Huang, Keyang Wang, Lars Sommer, Lei Jin, Lei Zhang, Qinghua Hu, Lianghua Huang, Lin Sun, Lucas Steinmann, Meixia Jia, Nuo Xu, Pengyi Zhang, Qiang Chen, Qingxuan Lv, Qiong Liu, Qishang Cheng, Tao Peng, Sai Saketh Chennamsetty, Shuhao Chen, Shuo Wei, Srinivas S. S. Kruthiventi, Sungeun Hong, Sungil Kang, Tong Wu, Tuo Feng, Varghese Alex Kollerathu, Wanqi Li, Jiayu Zheng, Wei Dai, Weida Qin, Weiyang Wang, Xiaorui Wang, Xiaoyu Chen, Xin Chen, Xin Sun, Xin Zhang, Xin Zhao, Xindi Zhang, Xinyao Wang, Xinyu Zhang, Xuankun Chen, Xudong Wei, Xuzhang Zhang, Yanchao Li, Yifu Chen, Yu Heng Toh, Yu Zhang, Yu Zhu, Yunxin Zhong

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision Workshops, 2019

2017

A New Method for Computing Preferred Extensions.

Xindi Zhang, Xiaojie Xie, Yancen Pan, Dangdang Niu, Shuai Lü

Proceedings of the 2nd International Conference on Intelligent Information Processing, 2017