Login / Signup

Repair of Boolean Programs with an Application to C.

Andreas GriesmayerRoderick BloemByron Cook
Published in: CAV (2006)
Keyphrases
  • real valued
  • boolean functions
  • data sets
  • neural network
  • real time
  • machine learning
  • data structure
  • multi agent systems
  • computer programs
  • programming environment
  • fixpoint
  • consistent query answering