Silvio Ghilardi, Alessandro Gianola, Deepak Kapur. Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. In Francesco Calimeri, Simona Perri, Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Volume 2710 of CEUR Workshop Proceedings, pages 67-81, CEUR-WS.org, 2020. [doi]
@inproceedings{GhilardiGK20, title = {Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations}, author = {Silvio Ghilardi and Alessandro Gianola and Deepak Kapur}, year = {2020}, url = {http://ceur-ws.org/Vol-2710/paper5.pdf}, researchr = {https://researchr.org/publication/GhilardiGK20}, cites = {0}, citedby = {0}, pages = {67-81}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, volume = {2710}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }