🧑🔬 Jan Jakubův — papers of 2017 — 1 paper, the most cited first1 paper · all years of Jan JakubůvENIGMA: Efficient Learning-based Inference Guiding MachineLecture notes in computer scienceJan Jakubův, Josef Urban2017 · 67 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jan-jakubuv/year/2017/