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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • WPM3: An (in)complete algorithm for weighted partial MaxSAT.Carlos Ansótegui & Joel Gabàs - 2017 - Artificial Intelligence 250 (C):37-57.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation