Login / Signup
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Mizuhito Ogawa
Zhenjiang Hu
Isao Sasano
Masato Takeichi
Published in:
APLAS (2002)
Keyphrases
</>
bounded tree width
tree width
markov networks
np complete
first order logic
structural properties
tree decomposition
expressive power
graphical models
relational structures
graph theory
graph matching
constraint networks
query language
belief propagation
shortest path
knowledge representation