Xindi Zhang

Nov 6, 2024 | mdpi.com | Lijun Guan |Ling Zhu |Xindi Zhang |Yaxi Han

All articles published by MDPI are made immediately available worldwide under an open access license. No special permission is required to reuse all or part of the article published by MDPI, including figures and tables. For articles published under an open access Creative Common CC BY license, any part of the article may be reused without permission provided that the original article is clearly cited. For more information, please refer to https://www.mdpi.com/openaccess.

Oct 23, 2024 | ift.onlinelibrary.wiley.com | Junguo Wang |Hongyue Wang |Keshuang Guo |Xindi Zhang

CONFLICT OF INTEREST STATEMENT The authors declare no conflicts of interest. Supporting Information Filename Description jfds17431-sup-0001-SuppMat.docx2.8 MB Supplementary material REFERENCES , , , & (2020). Dermatological applications of the flavonoid phloretin. European Journal of Pharmacology, 889, 173593. , & (2019). Nanoemulsions and their potential applications in food industry. Frontiers in Sustainable Food Systems, 3, 95. , , , , , , , , , & (2024).

May 17, 2023 | arxiv.org | Bohan Li |Xindi Zhang

[Submitted on 18 Nov 2022 (v1), last revised 17 May 2023 (this version, v3)] Title:Local Search For Satisfiability Modulo Integer Arithmetic Theories Download a PDF of the paper titled Local Search For Satisfiability Modulo Integer Arithmetic Theories, by Shaowei Cai and 2 other authors Download PDF Abstract: Satisfiability Modulo Theories (SMT) refers to the problem of deciding thesatisfiability of a formula with respect to certain background first ordertheories.