Synthesizing invariants by solving solvable loops.

Steven de Oliveira Saddek Bensalem Virgile Prevosto

Published in: CoRR (2016)

Keyphrases

special case
np complete
np hard
multiscale
combinatorial optimization
solving problems
nonlinear equations
artificial intelligence
decision trees
pattern recognition
computational complexity
linear program
projective invariants