default search action
Xindi Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j9]Zhiteng Chao
, Xindi Zhang, Junying Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li:
A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. Integr. 100: 102265 (2025) - 2024
- [j8]Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang
A fast local search algorithm for minimum sum coloring problem on massive graphs. Comput. Oper. Res. 172: 106794 (2024) - [j7]Yajun Guo, Shuai Li, Xindi Zhang, Yiyang Fu, Yiming Yuan, Yanquan Liu:
Embracing the Metaverse: A Survey of Virtual Reality and Augmented Reality Practices at the United States' Top One Hundred University Libraries. Coll. Res. Libr. 85(7) (2024) - [j6]Hongyun Zhang
Trajectory planning for airborne radar in extended target tracking based on deep reinforcement learning. Digit. Signal Process. 153: 104603 (2024) - [j5]Xindi Zhang
Ultrasensitive Label-Free Biosensor for Triglyceride Detection Based on Exposed-Core Optical Fiber. IEEE Trans. Instrum. Meas. 73: 1-6 (2024) - [c19]Daiheng Gao, Xu Chen, Xindi Zhang, Qi Wang, Ke Sun, Bang Zhang, Liefeng Bo, Qixing Huang:
Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On. 3DV 2024: 602-611 - [c18]Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li:
A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. ASPDAC 2024: 503-508 - [c17]Xindi Zhang
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE 2024: 125:1-125:13 - [i5]Xindi Zhang, Zhihan Chen, Shaowei Cai:
Revisiting Restarts of CDCL: Should the Search Information be Preserved? CoRR abs/2404.16387 (2024) - [i4]Ke Sun, Jian Cao, Qi Wang, Linrui Tian, Xindi Zhang, Lian Zhuo, Bang Zhang, Liefeng Bo, Wenbo Zhou, Weiming Zhang, Daiheng Gao:
OutfitAnyone: Ultra-high Quality Virtual Try-On for Any Clothing and Any Person. CoRR abs/2407.16224 (2024) - 2023
- [j4]Shaowei Cai
Local Search For Satisfiability Modulo Integer Arithmetic Theories. ACM Trans. Comput. Log. 24(4): 32:1-32:26 (2023) - [c16]Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai:
Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. ICCAD 2023: 1-9 - [c15]Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Liefeng Bo, Mengyuan Liu, Chen Chen:
RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. ICCV 2023: 20338-20348 - [i3]Daiheng Gao, Xu Chen, Xindi Zhang, Qi Wang, Ke Sun, Bang Zhang, Liefeng Bo, Qixing Huang:
Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On. CoRR abs/2308.04288 (2023) - [i2]Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Mengyuan Liu, Chen Chen:
RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. CoRR abs/2309.09301 (2023) - 2022
- [j3]Shaowei Cai, Xindi Zhang
Better Decision Heuristics in CDCL through Local Search and Target Phases. J. Artif. Intell. Res. 74: 1515-1563 (2022) - [c14]Shaowei Cai
Local Search for SMT on Linear Integer Arithmetic. CAV (2) 2022: 227-248 - [c13]Shaowei Cai, Xindi Zhang:
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). IJCAI 2022: 5274-5278 - [c12]Daiheng Gao, Xindi Zhang, Xingyu Chen, Andong Tan, Bang Zhang, Pan Pan, Ping Tan:
CycleHand: Increasing 3D Pose Estimation Ability on In-the-wild Monocular Image through Cyclic Flow. ACM Multimedia 2022: 2452-2463 - [i1]Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search For Satisfiability Modulo Integer Arithmetic Theories. CoRR abs/2211.10219 (2022) - 2021
- [j2]Xindi Zhang, Bohan Li
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. 71: 89-119 (2021) - [j1]Xindi Zhang
Autonomous long-range drone detection system for critical infrastructure safety. Multim. Tools Appl. 80(15): 23723-23743 (2021) - [c11]Shaowei Cai
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10 - [c10]Daiheng Gao, Bang Zhang, Qi Wang, Xindi Zhang, Pan Pan, Yinghui Xu:
SCAT: Stride Consistency with Auto-regressive regressor and Transformer for hand pose estimation. ICCVW 2021: 2266-2275 - [c9]Shaowei Cai, Xindi Zhang
Deep Cooperation of CDCL and Local Search for SAT. SAT 2021: 64-81 - 2020
- [c8]Shaowei Cai
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106 - [c7]Xindi Zhang, Krishna Chandramouli
Physical Security Detectors for Critical Infrastructures Against New-Age Threat of Drones and Human Intrusion. ICME Workshops 2020: 1-4 - [c6]Bohan Li
NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510
2010 – 2019
- 2019
- [c5]Xindi Zhang, Ebroul Izquierdo, Krishna Chandramouli
Dense and Small Object Detection in UAV Vision Based on Cascade Network. ICCV Workshops 2019: 118-126 - [c4]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
VisDrone-DET2019: The Vision Meets Drone Object Detection in Image Challenge Results. ICCV Workshops 2019: 213-226 - [c3]Xindi Zhang, Krishna Chandramouli
Critical Infrastructure Security Against Drone Attacks Using Visual Analytics. ICVS 2019: 713-722 - [c2]Xindi Zhang, Ebroul Izquierdo:
Real-Time Multi-Target Multi-Camera Tracking with Spatial-Temporal Information. VCIP 2019: 1-4 - 2017
- [c1]Xindi Zhang, Xiaojie Xie, Yancen Pan, Dangdang Niu, Shuai Lü
A New Method for Computing Preferred Extensions. ICIIP 2017: 3:1-3:6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: