Extending modern SAT solvers for models enumeration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Saïd Jabbour' in GoogleThis author has not been identified. Look up 'Jerry Lonlac' in GoogleThis author has not been identified. Look up 'Lakhdar Sais' in GoogleThis author has not been identified. Look up 'Yakoub Salhi' in Google

runs on WebDSL