Switch to: References

Add citations

You must login to add citations.
  1. 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