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