Login / Signup

Fast illegal state identification for improving SAT-based induction.

Vishnu C. VimjamMichael S. Hsiao
Published in: DAC (2006)
Keyphrases
  • version space
  • program synthesis
  • data mining
  • multi agent
  • state space
  • sat solvers
  • automatic identification