Reasoning About Regular Properties: A Comparative Study.

Tomás Fiedor Lukás Holík Martin Hruska Adam Rogalewicz Juraj Síc Pavol Vargovcík

Published in: CADE (2023)

Keyphrases

desirable properties
structural properties
spatial reasoning
data sets
genetic algorithm
image sequences
computational complexity