( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Better Decision Heuristics in CDCL through Local Search and Target Phases.

, , , и . J. Artif. Intell. Res., (2022)

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.

Jian Cai

Yongjie Cai

Xuediao Cai

Jiehua Cai

Jie Cai

 

Другие публикации лиц с тем же именем

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