How treewidth helps in verification.

Published in: ACM SIGLOG News (2022)

Keyphrases

search space
upper bound
model checking
space complexity
bounded treewidth
bayesian networks
functional verification
database
data mining
np hard
boolean functions
face verification
formal methods
asynchronous circuits
discrete random variables