Congruence Closure with Free Variables.

Haniel Barbosa Pascal Fontaine Andrew Reynolds

Published in: TACAS (2) (2017)

Keyphrases

variable selection
neural network
artificial intelligence
random variables
relevant variables
databases
image sequences
optimal solution
expert systems
causal relationships
independent variables
socio technical