BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Talks about:
theorem (1) perform (1) heurist (1) select (1) satur (1) prove (1) claus (1) base (1)

Person: Martin Möhrmann

DBLP DBLP: M=ouml=hrmann:Martin

Contributed to:

IJCAR 20162016

Wrote 1 papers:

IJCAR-2016-SchulzM #heuristic #performance #proving #theorem proving
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (SS0, MM), pp. 330–345.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.