( en | de | ru )

 

Disambiguation of "Xiao, Fan"

Author of the publication

copydeleteadd this publication to your clipboard
A resolution calculus for MinSAT.

, , and . Log. J. IGPL, 29 (1): 28-44 (2021)

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.

Xiao-Fan Xu

Zhong Xiao Fan

Fang Xiao

Meifang Xiao

Jianping Xiao

 

Other publications of authors with the same name

Clause vivification by unit propagation in CDCL SAT solvers., , , , , and . Artif. Intell., (2020)Stability Analysis of the Grid-Connected Inverter Considering the Asymmetric Positive-Feedback Loops Introduced by the PLL in Weak Grids., , , , and . IEEE Trans. Ind. Electron., 69 (6): 5793-5802 (2022)An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers., , , , and . IJCAI, page 703-711. ijcai.org, (2017)Comprehensive overview and assessment of computational prediction of microRNA targets in animals., and . Briefings Bioinform., 16 (5): 780-794 (2015)The green capacitated multi-item lot sizing problem with parallel machines., , , , and . Comput. Oper. Res., (2018)Method for classroom teaching quality evaluation in college English based on the probabilistic uncertain linguistic multiple-attribute group decision-making.. Int. J. Knowl. Based Intell. Eng. Syst., 27 (2): 245-257 (October 2023)Self-organized Polygon Formation Control based on Distributed Estimation., , , , and . CoRR, (2022)Gen2-based hybrid tag anti-collision Q algorithm using Chebyshev's inequality for passive RFID systems., , and . PIMRC, page 1-5. IEEE, (2008)Summary of LASSO and Relative Methods., , and . ICEIS (2), page 131-134. SciTePress, (2011)The value of additional reviews in reputation systems: Evidence from a car review platform., , and . ICEB, page 51. Association for Information Systems, (2022)