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]
@inproceedings{JabbourLSS14,
title = {Extending modern SAT solvers for models enumeration},
author = {Saïd Jabbour and Jerry Lonlac and Lakhdar Sais and Yakoub Salhi},
year = {2014},
doi = {10.1109/IRI.2014.7051971},
url = {http://dx.doi.org/10.1109/IRI.2014.7051971},
researchr = {https://researchr.org/publication/JabbourLSS14},
cites = {0},
citedby = {0},
pages = {803-810},
booktitle = {Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, Redwood City, CA, USA, August 13-15, 2014},
editor = {James Joshi and Elisa Bertino and Bhavani M. Thuraisingham and Ling Liu},
publisher = {IEEE},
isbn = {978-1-4799-5880-1},
}