Login / Signup

SAT-Based Algorithms for Regular Graph Pattern Matching.

Miguel Terra-NevesJosé AmaralAlexandre LemosRui QuintinoPedro ResendeAntónio Alegria
Published in: AAAI (2024)
Keyphrases
  • data structure
  • orders of magnitude
  • efficient implementation
  • similarity measure
  • object recognition
  • recently developed
  • sat solvers