Author of the publication

Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula.

, , , and . APWeb Workshophs, volume 8710 of Lecture Notes in Computer Science, page 188-199. Springer, (2014)

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.

 

Other publications of authors with the same name

Phoneme strings based machine transliteration.. NLPKE, page 304-309. IEEE, (2011)Localizing Errors in Counterexample with Iteratively Witness Searching., , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 456-469. Springer, (2004)The HW-TSC Video Speech Translation System at IWSLT 2020., , , , , , , , , and . IWSLT, page 187-190. Association for Computational Linguistics, (2020)Biglog: Unsupervised Large-scale Pre-training for a Unified Log Representation., , , , , , , , , and 5 other author(s). IWQoS, page 1-11. IEEE, (2023)Multi-strategy Enhanced Neural Machine Translation for Chinese Minority Languages., , , , , , , , , and 4 other author(s). CCMT, volume 1671 of Communications in Computer and Information Science, page 37-44. Springer, (2022)FRETA-D: A Toolkit of Automatic Annotation of Grammatical and Phonetic Error Types in French Dictations., , and . CCIS, page 531-537. IEEE, (2022)Applying frequency and location information to keyword extraction in single document.. CCIS, page 1398-1402. IEEE, (2012)A Study on Nonlinear Dynamic Response of the Large-Span Roof Structure with Suspended Substructure., , and . Symmetry, 13 (12): 2397 (2021)Forward-backward Machine Transliteration between English and Chinese Based on Combined CRFs., and . NEWS@IJCNLP, page 82-85. Asian Federation of Natural Language Processing, (2011)TeacherSim: Cross-lingual Machine Translation Evaluation with Monolingual Embedding as Teacher., , , , , and . ICACT, page 283-287. IEEE, (2023)