Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.
Jason R. KoenigOded PadonSharon ShohamAlex AikenPublished in: TACAS (1) (2022)
Keyphrases
- search space
- search algorithm
- heuristic search
- evaluation function
- search tree
- imperative programs
- hill climbing
- global optimum
- affine invariant
- search strategy
- metaheuristic
- optimal solution
- complete search
- quantifier elimination
- design space
- solution space
- quasi invariant
- state space
- constraint satisfaction problems
- reduce the search space
- prune the search space
- fitness function
- sat solvers
- affine transformation
- projective invariants
- invariant representation
- combinatorial search
- moment invariants
- global search
- lower bound
- optimization problems
- computer vision