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

Benjamin Bergougnoux Jan Dreier Lars Jaffke

Published in: SODA (2023)

Keyphrases

von neumann
knowledge representation
meta level
meta rules
real time
feature extraction