täiskirje prindi

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

autor
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
leitav
ISSN
2398-7340
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
automated theorem proving
portfolio of strategies
reuse
saturation based proving
kategooria (üld)
kategooria (alam)
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