PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Xiao, Fan"

Author of the publication

copydeleteadd this publication to your clipboard
Clause Vivification by Unit Propagation in CDCL SAT Solvers.

, , , , , and . CoRR, (2018)

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.

Dr. Sisi Fan University of Stuttgart

Univ. -Prof. Dr. Heng Xiao University of Stuttgart

Yang Xiao University of Stuttgart

Xiao Fei University of Stuttgart

Xiao Wang University of Stuttgart

 

Other publications of authors with the same name

Comprehensive overview and assessment of computational prediction of microRNA targets in animals., and . Briefings in Bioinformatics, 16 (5): 780-794 (2015)Summary of LASSO and Relative Methods., , and . ICEIS (2), page 131-134. SciTePress, (2011)Gen2-based hybrid tag anti-collision Q algorithm using Chebyshev's inequality for passive RFID systems., , and . PIMRC, page 1-5. IEEE, (2008)The green capacitated multi-item lot sizing problem with parallel machines., , , , and . Computers & OR, (2018)Clause Vivification by Unit Propagation in CDCL SAT Solvers., , , , , and . CoRR, (2018)An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers., , , , and . IJCAI, page 703-711. ijcai.org, (2017)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)Display-Relative Calibration for Optical See-Through Head-Mounted Displays., , , and . ISMAR, page 70-78. IEEE Computer Society, (2004)Uniformity Testing Using Minimal Spanning Tree., , , and . ICPR (4), page 281-284. IEEE Computer Society, (2002)