Login / Signup

Solving Invariant Generation for Unsolvable Loops.

Daneshvar AmrollahiEzio BartocciGeorge KenisonLaura KovácsMarcel MoosbruggerMiroslav Stankovic
Published in: SAS (2022)
Keyphrases
  • case study
  • affine transformation
  • generation process
  • neural network
  • knowledge base
  • data structure
  • special case
  • optimization problems
  • linear programming
  • combinatorial optimization
  • moment invariants