Login / Signup
-step induction to compute invariants for SAT-based property checking.
Max Thalmaier
Minh D. Nguyen
Markus Wedler
Dominik Stoffel
Jörg Bormann
Wolfgang Kunz
Published in:
DAC (2010)
Keyphrases
</>
version space
inductive learning
machine learning
post processing
answer set programming
explanation based learning
rule induction
data sets
domain specific
inductive logic programming
inductive inference