Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On Incremental Core-Guided MaxSAT Solving.

X. Si, X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik. CP, volume 9892 of Lecture Notes in Computer Science, page 473-482. Springer, (2016)

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.

Shuai Zhang University of Stuttgart

Guanhua Zhang University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jixing Zhang University of Stuttgart

Dr. Xi Zhang University of Stuttgart

Other publications of authors with the same name

A multi-attribute group decision-making method based on interval-valued trapezoidal fuzzy numbers hybrid harmonic averaging operators.P. Liu, X. Zhang, and F. Jin. Journal of Intelligent and Fuzzy Systems, 23 (5): 159-168 (2012)Utilization of a composite hole transporting layer and novel homogeneous double emitting layers for performance improvement and low efficiency roll-off in organic light-emitting diodes.X. Wu, X. Zhang, J. Bai, Y. Hua, L. Xin, Q. Yu, and S. Yin. Displays, (2015)A review of HVI technology.M. Qiao, X. Zhang, S. Wen, B. Zhang, and Z. Li. Microelectronics Reliability, 54 (12): 2704-2716 (2014)A 1-V-Input Switched-Capacitor Voltage Converter With Voltage-Reference-Free Pulse-Density Modulation.X. Zhang, Y. Pu, K. Ishida, Y. Ryu, Y. Okuma, P. Chen, K. Watanabe, T. Sakurai, and M. Takamiya. IEEE Trans. on Circuits and Systems, 59-II (6): 361-365 (2012)Preimpact configuration analysis of a dual-arm space manipulator with a prismatic joint for capturing an object.P. Cong, and X. Zhang. Robotica, 31 (6): 853-860 (2013)Centaur: A Hybrid Approach for Reliable Policy-Based Routing.X. Zhang, A. Perrig, and H. Zhang. ICDCS, page 76-84. IEEE Computer Society, (2009)Building E-Learning Platform in Vocational and Higher Training College with Claroline.C. Liu, and X. Zhang. ICEE, page 3779-3782. IEEE, (2010)MORES: Online Incremental Multiple-Output Regression for Data Streams.C. Li, W. Dong, Q. Liu, and X. Zhang. CoRR, (2014)A structure of 1-planar graph and its applications to coloring problems.X. Zhang, B. Niu, and J. Yu. CoRR, (2019)Simultaneous induction of SSMVEP and SMR Using a Gaiting video stimulus: a novel hybrid brain-computer interface.X. Zhang, G. Xu, A. Ravi, S. Pearce, and N. Jiang. CoRR, (2019)