A survey of χ-boundedness.

Alex Scott Paul D. Seymour

Published in: J. Graph Theory (2020)

Keyphrases

sufficient conditions
datalog programs
expert systems
data sets
lower bound
special case
general purpose
programming language
np hard
end users
fixed point
hidden markov models
model checking
temporal logic