( en | de | ru )

 

Disambiguation of "Zhang, Xindi"

Author of the publication

copydeleteadd this publication to your clipboard
Local Search For Satisfiability Modulo Integer Arithmetic Theories.

, , and . ACM Trans. Comput. Log., 24 (4): 32:1-32:26 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yue Zhang

Xianghong Zhang

Miao Zhang

 

Other publications of authors with the same name

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set., , , and . J. Artif. Intell. Res., (2021)Local Search for SMT on Linear Integer Arithmetic., , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 227-248. Springer, (2022)Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper)., , , and . CP, volume 210 of LIPIcs, page 5:1-5:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Local Search For Satisfiability Modulo Integer Arithmetic Theories., , and . ACM Trans. Comput. Log., 24 (4): 32:1-32:26 (October 2023)Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On., , , , , , , and . CoRR, (2023)Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)., and . IJCAI, page 5274-5278. ijcai.org, (2022)Dense and Small Object Detection in UAV Vision Based on Cascade Network., , and . ICCV Workshops, page 118-126. IEEE, (2019)NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set., , , , , and . IJCAI, page 1503-1510. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search., and . CP, volume 12333 of Lecture Notes in Computer Science, page 90-106. Springer, (2020)CycleHand: Increasing 3D Pose Estimation Ability on In-the-wild Monocular Image through Cyclic Flow., , , , , , and . ACM Multimedia, page 2452-2463. ACM, (2022)