Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov
Journal title: Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI)
Journal number: EasyChair EPiC Series in Computing 41
Journal publisher: EasyChair
Published year: 2016
Published pages: 53-71
Search
Associated projects
Associated products/services
- No items published
Organisations
- Not specified