Switch to: Citations

Add references

You must login to add references.
  1. SAT-based MaxSAT algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196 (C):77-105.
    Download  
     
    Export citation  
     
    Bookmark   10 citations