Author of the publication

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.

, , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 481-496. Springer, (2013)

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

PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector, , , , , , , , , and 1 other author(s). 35, page 8784-8792. (2020)Improving two-mode algorithm via probabilistic selection for solving satisfiability problem., , , , , and . Inf. Sci., (January 2024)Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability., and . Artif. Intell., (2020)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)PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector., , , , , , , , , and 1 other author(s). AAAI, page 8784-8792. AAAI Press, (2021)Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems., , , , , , , , , and 3 other author(s). AAAI, page 12363-12372. AAAI Press, (2021)Configuration Checking with Aspiration in Local Search for SAT., and . AAAI, page 434-440. AAAI Press, (2012)Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking., , , , and . ICCAD, page 1-9. IEEE, (2023)Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization., , , , , , and . CP, volume 280 of LIPIcs, page 41:1-41:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)