• Finite model building : improvements and comparisonsTammet, TanelProceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 20032003 / p. 81-90 https://www.researchgate.net/publication/244104344_Finite_model_building_improvements_and_comparisons
• GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077009626&origin=inward&txGid=04fabb89f3b1c42f599d321ee8380ad8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000693450800032
• Waste reduction: experiments in sharing clauses between runs of a portfolio of strategies (experimental paper)Tammet, TanelProceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 20242024 / p. 106-115 : ill https://easychair.org/publications/paper/wbJ2 https://doi.org/10.29007/fs4b https://www.scopus.com/sourceid/21100948914 https://www.scopus.com/record/display.uri?eid=2-s2.0-85207847284&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Waste+reduction%3A+experiments+in+sharing+clauses+between+runs+of+a+portfolio+of+strategies+%28experimental+paper%29%22%29&sessionSearchId=15a8f31657a2c073dab20190e5a69ab0&relpos=1