Author of the publication

Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem.

, , , , and . AAAI, page 2343-2350. AAAI Press, (2020)

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

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)., , , , , and . ASE, page 494-505. IEEE Computer Society, (2015)Tailoring Local Search for Partial MaxSAT., , , and . AAAI, page 2623-2629. AAAI Press, (2014)Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem., , , , and . AAAI, page 2343-2350. AAAI Press, (2020)Configuration Checking with Aspiration in Local Search for SAT., and . AAAI, page 434-440. AAAI Press, (2012)PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation., , and . PPSN (1), volume 12269 of Lecture Notes in Computer Science, page 373-389. Springer, (2020)Local Search with Configuration Checking for SAT., and . ICTAI, page 59-66. IEEE Computer Society, (2011)PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector, , , , , , , , , and 1 other author(s). 35, page 8784-8792. (2020)Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability., and . Artif. Intell., (2020)An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs., , and . SEAL, volume 10593 of Lecture Notes in Computer Science, page 145-157. Springer, (2017)Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking., , , , and . ICCAD, page 1-9. IEEE, (2023)