@inproceedings{GiraldezL16b,  
  author    = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
               Jordi Levy},
  title     = {Pseudo-Industrial Random {SAT} Generators},
  booktitle = {Proceedings of the 1st Graph Structure and Satisfiability Testing Workshop (STRUCTSAT'16)},
  year      = {2016},
}