Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS.

Silvio Ghilardi Alessandro Gianola Deepak Kapur

Published in: CoRR (2020)

Keyphrases

directed acyclic graph
computational geometry
databases
data structure
belief networks
random field model
database
information systems
three dimensional
digital libraries
directed graph
independence relations