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

vastutusandmed
Tanel Tammet
allikas
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024
kirjastus/väljaandja
EasyChair
ilmumisaasta
leheküljed
p. 106-115 : ill
seeria-sari
EPiC series in computing ; 100
konverentsi nimetus, aeg
25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024, 26-31 May 2024
konverentsi toimumispaik
Port Louis
ISSN
2398-7340
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
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