Waste reduction: experiments in sharing clauses between runs of a portfolio of strategies (experimental paper)

author
statement of authorship
Tanel Tammet
source
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024
publisher
EasyChair
year of publication
pages
p. 106-115 : ill
series
EPiC series in computing ; 100
conference name, date
25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024, 26-31 May 2024
conference location
Port Louis
ISSN
2398-7340
notes
Bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
keyword
automated theorem proving
portfolio of strategies
saturation based proving
Tammet, T. Waste reduction: experiments in sharing clauses between runs of a portfolio of strategies (experimental paper) // Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024. : EasyChair, 2024. p. 106-115 : ill. (EPiC series in computing ; 100). https://easychair.org/publications/paper/wbJ2 https://doi.org/10.29007/fs4b