Author of the publication

Better Decision Heuristics in CDCL through Local Search and Target Phases.

, , , and . 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. 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

Towards more efficient meta-heuristic algorithms for combinatorial test generation., , , , and . ESEC/SIGSOFT FSE, page 212-222. ACM, (2019)EWLS: A New Local Search for Minimum Vertex Cover., , and . AAAI, page 45-50. AAAI Press, (2010)Improving Local Search Algorithms via Probabilistic Configuration Checking., , , , , and . AAAI, page 10283-10290. AAAI Press, (2022)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)NuMWVC: A novel local search for minimum weighted vertex cover problem., , , , , and . J. Oper. Res. Soc., 71 (9): 1498-1509 (2020)CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability., , , , and . IEEE Trans. Computers, 64 (7): 1830-1843 (2015)Clause States Based Configuration Checking in Local Search for Satisfiability., , , and . IEEE Trans. Cybern., 45 (5): 1014-1027 (2015)NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover., , , and . J. Artif. Intell. Res., (2013)Efficient Local Search for Nonlinear Real Arithmetic., , , and . CoRR, (2023)