Login / Signup

How to Construct an Atomic Variable (Extended Abstract).

John Tromp
Published in: WDAG (1989)
Keyphrases
  • extended abstract
  • case study
  • database
  • databases
  • machine learning
  • genetic algorithm
  • clustering algorithm
  • training data
  • multiscale
  • pattern recognition