Switch to: References

Add citations

You must login to add citations.
  1. New local search methods for partial MaxSAT.Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su - 2016 - Artificial Intelligence 240 (C):1-18.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
    Model RB is a model of random constraint satisfaction problems, which exhibits exact satisfiability phase transition and many hard instances, both experimentally and theoretically. Benchmarks based on Model RB have been successfully used by various international algorithm competitions and many research papers. In a previous work, Xu and Li defined two notions called i-constraint assignment tuple and flawed i-constraint assignment tuple to show an exponential resolution complexity of Model RB. These two notions are similar to some kind of consistency in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism.Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji & Minghao Yin - 2023 - Artificial Intelligence 314 (C):103819.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Backdoors to tractable answer set programming.Johannes Klaus Fichte & Stefan Szeider - 2015 - Artificial Intelligence 220 (C):64-103.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem.Yiyuan Wang, Shaowei Cai, Jiejiang Chen & Minghao Yin - 2020 - Artificial Intelligence 280 (C):103230.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.
    Download  
     
    Export citation  
     
    Bookmark   3 citations