Switch to: References

Add citations

You must login to add citations.
  1. CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.Chuan Luo, Shaowei Cai, Kaile Su & Wenxuan Huang - 2017 - Artificial Intelligence 243 (C):26-44.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Integrating multi-armed bandit with local search for MaxSAT.Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li & Felip Manyà - 2025 - Artificial Intelligence 338 (C):104242.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • WPM3: An (in)complete algorithm for weighted partial MaxSAT.Carlos Ansótegui & Joel Gabàs - 2017 - Artificial Intelligence 250 (C):37-57.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-5d8df9484f-tnf22 uwo