Login / Signup

Finite Model Search for Equational Theories (FMSET).

Belaid BenhamouLaurent Henocque
Published in: AISC (1998)
Keyphrases
  • mathematical model
  • computational model
  • neural network
  • machine learning
  • search algorithm
  • search space