Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving

From MaRDI portal
Publication:2817933

DOI10.1007/978-3-319-40229-1_23zbMath1475.68450OpenAlexW2460200316MaRDI QIDQ2817933

Martin Möhrmann, Stephan Schulz

Publication date: 5 September 2016

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_23




Related Items (17)


Uses Software


Cites Work


This page was built for publication: Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving