1. Lecture Notes in Computer Science;C Ansótegui,2008
2. Ansótegui, C., Bonet, M.L., Levy, J., Li, C.M.: Analysis and generation of pseudo-industrial maxsat instances. In: CCIA. FAIA, vol. 248, pp. 173–184. IOS Press (2012)
3. Lecture Notes in Computer Science;C Ansótegui,2012
4. Ansótegui, C., Levy, J.: On the modularity of industrial sat instances. In: Fernández, C., Geffner, H., Manyà, F. (eds.) CCIA. FAIA, vol. 232, pp. 11–20. IOS Press, Amsterdam (2011)
5. Lecture Notes in Computer Science;C Ansótegui,2009