Sign in

A logic-based algorithmic meta-theorem for mim-width.

Benjamin BergougnouxJan DreierLars Jaffke
Published in: SODA (2023)
Keyphrases
  • von neumann
  • knowledge representation
  • meta level
  • meta rules
  • real time
  • feature extraction