1. Mario Alviano, Carmine Dodaro, and Francesco Ricca. The Maxino solver, http://alviano.com/software/maxino/. accessed on 6-Nov-2019.
2. Models of natural language understanding;Bates;Proceedings of the National Academy of Sciences,1995
3. Handbook of Satisfability;Biere,2009
4. Latent Dirichlet Allocation;Blei;Journal of Machine Learning Research,2003
5. Handbook of Categorization in Cognitive Science;Cohen,2017