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: 0001:Martin_Suda
Contributed to:
2016
20172019Wrote 4 papers:
- IJCAR-2016-HoderR0V
- 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.