Login / Signup
Fast illegal state identification for improving SAT-based induction.
Vishnu C. Vimjam
Michael S. Hsiao
Published in:
DAC (2006)
Keyphrases
</>
version space
program synthesis
data mining
multi agent
state space
sat solvers
automatic identification