Login / Signup
Using Symmetries to Lift Satisfiability Checking.
Pierre Carbonnelle
Gottfried Schenner
Maurice Bruynooghe
Bart Bogaerts
Marc Denecker
Published in:
AAAI (2024)
Keyphrases
</>
symmetry breaking
feature points
database
artificial intelligence
computer vision