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

Collaborated with:
B.Kiesl B.Gleiss L.Kovács K.Hoder G.Reger A.Voronkov K.Chvalovský J.Jakubuv J.Urban
Talks about:
select (2) principl (1) interpol (1) gradient (1) guidanc (1) neural (1) enigma (1) elimin (1) effici (1) unifi (1)

Person: Martin Suda 0001

DBLP DBLP: 0001:Martin_Suda

Contributed to:

IJCAR 20162016
CADE 20172017
CADE 20192019

Wrote 4 papers:

Selecting the Selection (KH, GR, MS0, AV), pp. 313–329.
CADE-2017-GleissK0 #proving
Splitting Proofs for Interpolation (BG, LK, MS0), pp. 291–309.
CADE-2017-Kiesl0 #first-order #logic
A Unifying Principle for Clause Elimination in First-Order Logic (BK, MS0), pp. 274–290.
CADE-2019-ChvalovskyJ0U #named #performance
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E (KC, JJ, MS0, JU), pp. 197–215.

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.