Kaile Su

Latest

• A Reduction based Method for Coloring Very Large Graphs
• CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI 2017: 5030-5034
• New local search methods for partial MaxSAT
• An effective variable selection heuristic in SLS for weighted Max-2-SAT Heuristics 21(3): 433-456 (2015)
• An I/O Efficient Approach for Detecting All Accepting Cycles Software Eng. 41(8): 730-744 (2015)
• An I/O Efficient Model Checking Algorithm for Large-Scale Systems Very Large Scale Integr. Syst. 23(5): 905-915 (2015)
• CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability SAT 2015: 1-8
• CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability IEEE Trans. Computers 64(7): 1830-1843 (2015)
• Clause States Based Configuration Checking in Local Search for Satisfiability IEEE Trans. Cybern. 45(5): 1014-1027 (2015)
• Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation Comput. J. 58(11): 2864-2875 (2015)
• TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE 2015: 494-505
• Two Weighting Local Search for Minimum Vertex Cover
• Double Configuration Checking in Stochastic Local Search for Satisfiability AAAI 2014: 2703-2709
• More efficient two-mode stochastic local search for random 3-satisfiability Appl. Intell. 41(3): 665-680 (2014)
• NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover abs/1402.0584 (2014)
• Scoring Functions Based on Second Level Score for k-SAT with Long Clauses J. Artif. Intell. Res. 51: 413-441 (2014)
• Tailoring Local Search for Partial MaxSAT
• Local search for Boolean Satisfiability with configuration checking and subscore Artif. Intell. 204: 75-98 (2013)
• NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover Intell. Res. 46: 687-716 (2013)