Haniel Barbosa. Efficient Instantiation Techniques in SMT (Work In Progress). In Pascal Fontaine, Stephan Schulz 0001, Josef Urban, editors, Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. Volume 1635 of CEUR Workshop Proceedings, pages 1-10, CEUR-WS.org, 2016. [doi]
Abstract is missing.