Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving.

Stephan Schulz, Martin Mhrmann

Browse the full CADE paper archive.