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