Login / Signup

Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models.

Ricardo CaferraNicolas Peltier
Published in: J. Symb. Comput. (2000)
Keyphrases
  • probabilistic model
  • parameter estimation
  • database
  • website
  • pairwise
  • search space
  • object oriented
  • model selection
  • potential functions