Switch to: Citations

Add references

You must login to add references.
  1. Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
    Download  
     
    Export citation  
     
    Bookmark   8 citations