HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tanel Tammet

Publications
Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper)
Tanel Tammet
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

automated theorem proving, Portfolio of Strategies, reuse, Saturation-based proving.

Copyright © 2012-2025 easychair.org. All rights reserved.