![](/img/cover-not-exists.png)
[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Extending modern SAT solvers for models enumeration
Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar, Salhi, YakoubYear:
2014
Language:
english
DOI:
10.1109/IRI.2014.7051971
File:
PDF, 141 KB
english, 2014