@InProceedings{JU17-CICM,
    Author       = "Jakubuv, J. and Urban, J.",
    Year         = "2017",
    Title        = "{ENIGMA: Efficient Learning-based Inference Guiding
                    Machine}",
    Editor       = "Geuvers, H. and England, M. and Hasan, O. and Rabe, F. and Teschke, O.",
    BookTitle    = "{Proceedings of the 10th International Conference on
                    Intelligent Computer Mathematics}",
    Place        = "Edinburgh, United Kingdom",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "10383",
    Pages        = "292-302",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}