Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Silvio Ghilardi' in GoogleThis author has not been identified. Look up 'Alessandro Gianola' in GoogleThis author has not been identified. Look up 'Deepak Kapur' in Google

runs on WebDSL