Switch to: References

Add citations

You must login to add citations.
  1. The algorithm selection competitions 2015 and 2017.Marius Lindauer, Jan N. van Rijn & Lars Kotthoff - 2019 - Artificial Intelligence 272 (C):86-100.
    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