Login / Signup

Using Symmetries to Lift Satisfiability Checking.

Pierre CarbonnelleGottfried SchennerMaurice BruynoogheBart BogaertsMarc Denecker
Published in: AAAI (2024)
Keyphrases
  • symmetry breaking
  • feature points
  • database
  • artificial intelligence
  • computer vision