Waste reduction: experiments in sharing clauses between runs of a portfolio of strategies (experimental paper)
author
Tammet, Tanel
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
2024
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
url
https://easychair.org/publications/paper/wbJ2
https://doi.org/10.29007/fs4b
subject term
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
keyword
automated theorem proving
portfolio of strategies
reuse
saturation based proving
ISSN
2398-7340
notes
Bibliogr.: 24 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.2
TalTech department
tarkvarateaduse instituut
language
inglise