Login / Signup

Program Simplification as a Means of Approximating Undecidable Propositions.

Mark HarmanChris FoxRobert M. HieronsDavid W. BinkleySebastian Danicic
Published in: IWPC (1999)
Keyphrases
  • multiresolution
  • sufficient conditions
  • programming environment
  • database
  • database systems
  • computer programs
  • data sets
  • neural network
  • real world
  • multi agent
  • search algorithm
  • np complete
  • program execution