Explicit Safety Property Strengthening in SAT-based Induction.

Vishnu C. Vimjam Michael S. Hsiao

Published in: VLSI Design (2007)

Keyphrases

version space
answer set programming
active learning
constructive induction
machine learning
functional programs
constraint satisfaction
inductive learning
inductive inference
search algorithm
monitoring system
inductive logic programming
training instances
program synthesis
bounded model checking