Switch to: References

Add citations

You must login to add citations.
  1. Reasoning from last conflict(s) in constraint programming.Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary & Vincent Vidal - 2009 - Artificial Intelligence 173 (18):1592-1614.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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  
  • 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  
  • Pareto optimization for subset selection with dynamic cost constraints.Vahid Roostapour, Aneta Neumann, Frank Neumann & Tobias Friedrich - 2022 - Artificial Intelligence 302 (C):103597.
    Download  
     
    Export citation  
     
    Bookmark   3 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  
  • STR3: A path-optimal filtering algorithm for table constraints.Christophe Lecoutre, Chavalit Likitvivatanavong & Roland H. C. Yap - 2015 - Artificial Intelligence 220 (C):1-27.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability.Yong Gao - 2009 - Artificial Intelligence 173 (14):1343-1366.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the phase transitions of random k-constraint satisfaction problems.Yun Fan & Jing Shen - 2011 - Artificial Intelligence 175 (3-4):914-927.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A general model and thresholds for random constraint satisfaction problems.Yun Fan, Jing Shen & Ke Xu - 2012 - Artificial Intelligence 193 (C):1-17.
    Download  
     
    Export citation  
     
    Bookmark  
  • Local search with edge weighting and configuration checking heuristics for minimum vertex cover.Shaowei Cai, Kaile Su & Abdul Sattar - 2011 - Artificial Intelligence 175 (9-10):1672-1696.
    Download  
     
    Export citation  
     
    Bookmark   6 citations