Conf

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