Haniel Barbosa, Chantal Keller, Andrew Reynolds 0001, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett. An Interactive SMT Tactic in Coq using Abductive Reasoning. In Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, pages 11-22, EasyChair, 2023. [doi]
Abstract is missing.