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 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus