Author of the publication

An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.

, , , , and . IJCAI, page 703-711. ijcai.org, (2017)

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

A branching heuristic for SAT solvers based on complete implication graphs., , , , , and . Sci. China Inf. Sci., 62 (7): 72103:1-72103:13 (2019)Branching Strategy Selection Approach Based on Vivification Ratio., , , , and . Int. J. Softw. Informatics, 12 (1): 131-151 (2022)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)Branching Strategy Selection Approach Based on Vivification Ratio., , , , and . CoRR, (2021)A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers., , , , , and . IJCAI, page 1979-1987. ijcai.org, (2023)High efficiency referential genome compression algorithm., , , and . Bioinform., 35 (12): 2058-2065 (2019)Multi-Feature Fusion for Enhancing Image Similarity Learning., , , , and . IEEE Access, (2019)Cooperative localization for multiple AUVs based on the rough estimation of the measurements., , , and . Appl. Soft Comput., (2020)Estimating instantaneous frequency based on phase derivative and linear canonical transform with optimised computational speed., , , and . IET Signal Process., 12 (5): 574-580 (2018)