Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Clause Vivification by Unit Propagation in CDCL SAT Solvers.

C. Li, F. Xiao, M. Luo, F. Manyà, Z. Lü, und Y. Li. CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Weitere Publikationen von Autoren mit dem selben Namen

Deep Semantic Matching with Foreground Detection and Cycle-Consistency.Y. Chen, P. Huang, L. Yu, J. Huang, M. Yang, und Y. Lin. ACCV (3), Volume 11363 von Lecture Notes in Computer Science, Seite 347-362. Springer, (2018)Two-sided energy scheduling algorithm for smart grid with storage cost.R. Zhang, Y. Wu, W. an Zhang, L. Yu, und W. Song. WCSP, Seite 1-6. IEEE, (2013)Quantitative evaluation for compact polarimetric SAR image reconstruction based on information-theoretic analysis.J. Chen, Y. Li, X. Wen, und C. Li. IGARSS, Seite 467-470. IEEE, (2011)Containment of Misinformation Propagation in Online Social Networks with given Deadline.N. Wang, L. Yu, N. Ding, und D. Yang. PACIS, Seite 46. (2014)Collaborative Aggregation of Individual Rating for Group Evaluation.L. Yu, H. Zhang, und X. Liang. PACIS, Seite 63. (2013)A Reference Infrastructure for Electronic Commerce.Y. Li, W. Li, und H. Tan. APAQS, Seite 324-334. IEEE Computer Society, (2000)A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems.Y. Li, und A. Oberweis. ISD, Seite 27-39. Springer, (2009)An LMI approach to guaranteed cost control of linear uncertain time-delay systems.L. Yu, und J. Chu. Automatica, 35 (6): 1155-1159 (1999)A 1.5GHz all-digital frequency-locked loop with 1-bit ΔΣ frequency detection in 0.18μm CMOS.H. Zhuo, Y. Li, W. Rhee, und Z. Wang. VLSI-DAT, Seite 1-4. IEEE, (2014)Collaborative Filtering Recommendation Based on Preference Order.L. Yu, und X. Yang. CONFENIS (2), Volume 255 von IFIP, Seite 1567-1573. Springer, (2007)