Order:
  1. Generating SAT Instances with Community Structure.Jesús Giráldez-Cru & Jordi Levy - 2016 - Artificial Intelligence 238:119-134.
  2. Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
  3.  1
    SAT-Based MaxSAT Algorithms.Carlos Ansótegui, Maria Luisa Bonet & Jordi Levy - 2013 - Artificial Intelligence 196:77-105.
  4.  3
    Popularity-Similarity Random SAT Formulas.Jesús Giráldez-Cru & Jordi Levy - forthcoming - Artificial Intelligence:103537.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark