( en | de | ru )

 

Disambiguation of "Cai, Shaowei"

Author of the publication

copydeleteadd this publication to your clipboard
Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess.

, , and . J. Artif. Intell. Res., (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.

Jian Cai

Yongjie Cai

Xuediao Cai

Jiehua Cai

Jie Cai

 

Other publications of authors with the same name

An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search., , , and . SIGARCH Comput. Archit. News, 44 (4): 32-37 (2016)Local Search For Satisfiability Modulo Integer Arithmetic Theories., , and . ACM Trans. Comput. Log., 24 (4): 32:1-32:26 (October 2023)NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover., , , and . J. Artif. Intell. Res., (2013)Clause States Based Configuration Checking in Local Search for Satisfiability., , , and . IEEE Trans. Cybern., 45 (5): 1014-1027 (2015)CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability., , , , and . IEEE Trans. Computers, 64 (7): 1830-1843 (2015)NuMWVC: A novel local search for minimum weighted vertex cover problem., , , , , and . J. Oper. Res. Soc., 71 (9): 1498-1509 (2020)AutoSAT: Automatically Optimize SAT Solvers via Large Language Models., , , , , and . CoRR, (2024)More efficient two-mode stochastic local search for random 3-satisfiability., , and . Appl. Intell., 41 (3): 665-680 (2014)Preface to the Special Issue on Constraint Solving and Theorem Proving., , , , and . Int. J. Softw. Informatics, 13 (3): 243-245 (2023)NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover., , , and . CoRR, (2014)