PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Li, Yu"

Author of the publication

copydeleteadd this publication to your clipboard
A branching heuristic for SAT solvers based on complete implication graphs.

, , , , , and . SCIENCE CHINA Information Sciences, 62 (7): 72103:1-72103:13 (2019)

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.

Yu Li University of Stuttgart

Wei Yu University of Stuttgart

M.Sc. Yunxuan Li University of Stuttgart

Zheng Li University of Stuttgart

Jie Li University of Stuttgart

 

Other publications of authors with the same name

Deep Semantic Matching with Foreground Detection and Cycle-Consistency., , , , , and . ACCV (3), volume 11363 of Lecture Notes in Computer Science, page 347-362. Springer, (2018)A quantitative analysis of Arctic related articles in the humanities and social sciences appearing in the world core journals., , , and . Scientometrics, 91 (3): 703-718 (2012)Robust control of linear uncertain systems with regional pole and variance constraints.. Int. J. Systems Science, 31 (3): 367-371 (2000)A Low Complexity PTS Scheme Based on Tree for PAPR Reduction., , and . IEEE Communications Letters, 16 (9): 1486-1488 (2012)A cross-monotonic cost-sharing scheme for the concave facility location game., , , and . J. Global Optimization, 56 (4): 1325-1334 (2013)A combinatorial 2.375-approximation algorithm for the facility location problem with submodular penalties., , , and . Theor. Comput. Sci., (2013)A Highly Parallel Joint VLSI Architecture for Transforms in H.264/AVC., , and . Signal Processing Systems, 50 (1): 19-32 (2008)Hierarchical Fusion in Clustered Sensor Networks with Asynchronous Local Estimates., , and . IEEE Signal Process. Lett., 21 (12): 1506-1510 (2014)Second-order consensus of multi-agent systems in the cooperation-competition network with switching topologies: A time-delayed impulsive control approach., , , , and . Systems & Control Letters, 62 (12): 1125-1135 (2013)An LMI approach to reliable guaranteed cost control of discrete-time systems with actuator failure.. Applied Mathematics and Computation, 162 (3): 1325-1331 (2005)