Fast Symbolic Computation of Bottom SCCs.

Anna Blume Jakobsen Rasmus Skibdahl Melanchton Jørgensen Jaco van de Pol Andreas Pavlogiannis

Published in: TACAS (3) (2024)

Keyphrases

automated deduction
strongly connected components
imperative programs
genetic algorithm
video sequences
artificial intelligence
pairwise
viewpoint
theorem proving