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

Collaborated with:
M.Möhrmann S.Cruanes P.Vukmirovic G.Sutcliffe J.Urban A.Pease
Talks about:
base (2) inconsist (1) stronger (1) knowledg (1) theorem (1) perform (1) heurist (1) select (1) higher (1) faster (1)

Person: Stephan Schulz 0001

DBLP DBLP: 0001:Stephan_Schulz

Facilitated 1 volumes:

IJCAR 2018Ed

Contributed to:

IJCAR 20162016
CADE 20172017
CADE 20192019

Wrote 3 papers:

IJCAR-2016-SchulzM #heuristic #performance #proving #theorem proving
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (SS0, MM), pp. 330–345.
CADE-2017-0001SUP #consistency #detection #first-order #knowledge base #nondeterminism #scalability
Detecting Inconsistencies in Large First-Order Knowledge Bases (SS0, GS, JU, AP), pp. 310–325.
CADE-2019-0001CV #performance
Faster, Higher, Stronger: E 2.3 (SS0, SC, PV), pp. 495–507.

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.