Sign in

Congruence Closure with Free Variables.

Haniel BarbosaPascal FontaineAndrew 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