Waste reduction: experiments in sharing clauses between runs of a portfolio of strategies (experimental paper)
autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024
kirjastus/väljaandja
EasyChair
ilmumisaasta
2024
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
https://easychair.org/publications/paper/wbJ2
https://doi.org/10.29007/fs4b
märksõna
automaattõestamine
strateegiad
korduskasutus
Scopus
https://www.scopus.com/sourceid/21100948914
https://www.scopus.com/record/display.uri?eid=2-s2.0-85207847284&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Waste+reduction%3A+experiments+in+sharing+clauses+between+runs+of+a+portfolio+of+strategies+%28experimental+paper%29%22%29&sessionSearchId=15a8f31657a2c073dab20190e5a69ab0&relpos=1
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
automated theorem proving
portfolio of strategies
reuse
saturation based proving
ISSN
2398-7340
märkused
Bibliogr.: 24 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise