External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving

Stephan Schulz, Martin Möhrmann. Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. In Nicola Olivetti, Ashish Tiwari, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Volume 9706 of Lecture Notes in Computer Science, pages 330-345, Springer, 2016. [doi]

Authors

Stephan Schulz

This author has not been identified. Look up 'Stephan Schulz' in Google

Martin Möhrmann

This author has not been identified. Look up 'Martin Möhrmann' in Google
runs on