Using Symmetries to Lift Satisfiability Checking.

Pierre Carbonnelle Gottfried Schenner Maurice Bruynooghe Bart Bogaerts Marc Denecker

Published in: CoRR (2023)

Keyphrases

symmetry breaking
database
feature points
data sets
genetic algorithm
image sequences
multiscale
hidden markov models
rotational symmetry