Keyword:Saturation-based proving

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