Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations.

Silvio Ghilardi Alessandro Gianola Deepak Kapur

Published in: CILC (2020)

Keyphrases

compact representations
possibility distributions
directed acyclic graph
databases
data sets
information systems
neural network
image processing
training data
description logics
graphical models