Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi. Extending modern SAT solvers for models enumeration. In James Joshi, Elisa Bertino, Bhavani M. Thuraisingham, Ling Liu, editors, Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, Redwood City, CA, USA, August 13-15, 2014. pages 803-810, IEEE, 2014. [doi]