Login / Signup
Analyzing k-step induction to compute invariants for SAT-based property checking.
Max Thalmaier
Minh D. Nguyen
Markus Wedler
Dominik Stoffel
Wolfgang Kunz
Published in:
MBMV (2010)
Keyphrases
</>
version space
answer set programming
ai planning
data sets
post processing
neural network
learning algorithm
lower bound
dynamic programming
logic programs
orders of magnitude
affine invariant
consistency checking