Keyphrases
- bounded treewidth
- phase transition
- graph matching
- satisfiability problem
- random graphs
- graph theoretic
- graph mining
- sat solvers
- np complete
- stochastic local search
- graph representation
- graph structure
- data exchange
- search algorithm
- bipartite graph
- search strategies
- query answering
- sat problem
- constraint satisfaction
- graph kernels
- data integration
- stochastic local search algorithms